𝔖 Bobbio Scriptorium

✦ LIBER ✦

[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

✍ Scribed by Rosenthal, D.

Book ID: 126631000
Publisher: IEEE Comput. Soc. Press
Year: 1990
Weight: 571 KB
Category: Article
ISBN-13: 9780818620713
DOI: 10.1109/CSFW.1990.128189

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 - Implementing a verification methodology for McCullough security

✍ Rosenthal, D. 📂 Article 📅 1989 🏛 IEEE Comput. Soc. Press ⚖ 486 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 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 Computer Securi

[IEEE Comput. Soc. Press Computer Security Foundations Workshop IV - Franconia, NH, USA (18-20 June 1991)] Proceedings Computer Security Foundations Workshop IV - Multiple Trojan horse systems and covert channel analysis

✍ Trostle, J.T. 📂 Article 📅 1991 🏛 IEEE Comput. Soc. Press 🌐 English ⚖ 935 KB