✦ LIBER ✦

Information flow security, abstraction and composition

✍ Scribed by Seehusen, F.; Stolen, K.

Book ID: 114443634
Publisher: The Institution of Engineering and Technology
Year: 2009
Tongue: English
Weight: 312 KB
Volume: 3
Category: Article
ISSN: 1751-8709
DOI: 10.1049/iet-ifs:20080069

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Security-Aware Service Composition with

Security-Aware Service Composition with Fine-Grained Information Flow Control

✍ She, Wei; Yen, I-Ling; Thuraisingham, Bhavani; Bertino, Elisa 📂 Article 📅 2013 🏛 Institute of Electrical and Electronics Engineers 🌐 English ⚖ 496 KB

Information-Theoretically Secure Protoco

Information-Theoretically Secure Protocols and Security under Composition

✍ Kushilevitz, Eyal; Lindell, Yehuda; Rabin, Tal 📂 Article 📅 2010 🏛 Society for Industrial and Applied Mathematics 🌐 English ⚖ 294 KB

Abstract interpretation of operational s

Abstract interpretation of operational semantics for secure information flow

✍ R. Barbuti; C. Bernardeschi; N. De Francesco 📂 Article 📅 2002 🏛 Elsevier Science 🌐 English ⚖ 106 KB

Unwinding in Information Flow Security

✍ A. Bossi; R. Focardi; D. Macedonio; C. Piazza; S. Rossi 📂 Article 📅 2004 🏛 Elsevier Science 🌐 English ⚖ 449 KB

Language-based information-flow security

✍ Sabelfeld, A.; Myers, A.C. 📂 Article 📅 2003 🏛 IEEE 🌐 English ⚖ 459 KB

The Compositional Security Checker: a to

The Compositional Security Checker: a tool for the verification of information flow security properties

✍ Focardi, R.; Gorrieri, R. 📂 Article 📅 1997 🏛 IEEE 🌐 English ⚖ 365 KB