Abstract interpretation of operational semantics for secure information flow

✍ Scribed by R. Barbuti; C. Bernardeschi; N. De Francesco

• Publisher: Elsevier Science
• Year: 2002
• Tongue: English
• Weight: 106 KB
• Volume: 83
• Category: Article
• ISSN: 0020-0190
• DOI: 10.1016/s0020-0190(02)00219-3