𝔖 Bobbio Scriptorium

✦ LIBER ✦

[IEEE Comput. Soc. Press Computer Security Foundations Workshop II - Franconia, NH, USA (11-14 June 1989)] Proceedings of the Computer Security Foundations Workshop II - Implementing a verification methodology for McCullough security

✍ Scribed by Rosenthal, D.

Book ID: 126597471
Publisher: IEEE Comput. Soc. Press
Year: 1989
Weight: 486 KB
Category: Article
DOI: 10.1109/CSFW.1989.40596

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

[IEEE Comput. Soc. Press Computer Securi

[IEEE Comput. Soc. Press Computer Security Foundations Workshop II - Franconia, NH, USA (11-14 June 1989)] Proceedings of the Computer Security Foundations Workshop II - The SeaView verification

✍ Whitehurst, R.A.; Lunt, T.F. 📂 Article 📅 1989 🏛 IEEE Comput. Soc. Press ⚖ 748 KB

[IEEE Comput. Soc. Press Computer Securi

[IEEE Comput. Soc. Press Computer Security Foundations Workshop II - Franconia, NH, USA (11-14 June 1989)] Proceedings of the Computer Security Foundations Workshop II - Obligation as the basis of integrity specification

✍ Glasgow, J.I.; MacEwen, G.H. 📂 Article 📅 1989 🏛 IEEE Comput. Soc. Press ⚖ 676 KB

[IEEE Comput. Soc. Press Computer Securi

[IEEE Comput. Soc. Press Computer Security Foundations Workshop II - Franconia, NH, USA (11-14 June 1989)] Proceedings of the Computer Security Foundations Workshop II - Safety via state transition language plus invariants

✍ Marcus, L.; Menas, T. 📂 Article 📅 1989 🏛 IEEE Comput. Soc. Press ⚖ 526 KB

[IEEE Comput. Soc. Press [1992] The Comp

[IEEE Comput. Soc. Press [1992] The Computer Security Foundations Workshop V - Franconia, NH, USA (16-18 June 1992)] [1992] Proceedings The Computer Security Foundations Workshop V - Foundations of intrusion detection (computer security)

✍ Helman, P.; Liepins, G.; Richards, W. 📂 Article 📅 1992 🏛 IEEE Comput. Soc. Press 🌐 English ⚖ 594 KB

[IEEE Comput. Soc. Press The Computer Se

[IEEE Comput. Soc. Press The Computer Security Foundations Workshop III - Franconia, NH, USA (12-14 June 1990)] [1990] Proceedings. The Computer Security Foundations Workshop III - Security models for priority buffering and interrupt handling

✍ Rosenthal, D. 📂 Article 📅 1990 🏛 IEEE Comput. Soc. Press ⚖ 571 KB

[IEEE Comput. Soc. Press [1993] Computer

[IEEE Comput. Soc. Press [1993] Computer Security Foundations Workshop VI - Franconia, NH, USA (15-17 June 1993)] [1993] Proceedings Computer Security Foundations Workshop VI - Towards formal analysis of security protocols

✍ Mao, W.; Boyd, C. 📂 Article 📅 1993 🏛 IEEE Comput. Soc. Press ⚖ 986 KB