𝔖 Bobbio Scriptorium

✦ LIBER ✦

[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

✍ Scribed by Mao, W.; Boyd, C.

Book ID: 126250730
Publisher: IEEE Comput. Soc. Press
Year: 1993
Weight: 986 KB
Category: Article
ISBN-13: 9780818639500
DOI: 10.1109/CSFW.1993.246631

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

[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 - 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 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

[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 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