✦ LIBER ✦

Security of open systems

✍ Scribed by Jan P. Kruys

Book ID: 107914814
Publisher: Elsevier Science
Year: 1989
Tongue: English
Weight: 769 KB
Volume: 8
Category: Article
ISSN: 0167-4048
DOI: 10.1016/0167-4048(89)90069-2

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Update on open systems security

✍ George Black 📂 Article 📅 1992 🏛 Elsevier Science 🌐 English ⚖ 419 KB

Open systems security: Traps and pitfall

Open systems security: Traps and pitfalls

✍ Jim Reid 📂 Article 📅 1995 🏛 Elsevier Science 🌐 English ⚖ 111 KB

Current developments in open systems sec

Current developments in open systems security

✍ Vernon Poole; Dean Adams 📂 Article 📅 1995 🏛 Elsevier Science 🌐 English ⚖ 111 KB

SAMSON: Management of security in open s

SAMSON: Management of security in open systems

✍ Stephan Lechner 📂 Article 📅 1994 🏛 Elsevier Science 🌐 English ⚖ 568 KB

Analysis of security protocols as open s

Analysis of security protocols as open systems

✍ Fabio Martinelli 📂 Article 📅 2003 🏛 Elsevier Science 🌐 English ⚖ 417 KB

We propose a methodology for the formal analysis of security protocols. This originates from the observation that the veriÿcation of security protocols can be conveniently treated as the veriÿcation of open systems, i.e. systems which may have unspeciÿed components. These might be used to represent

NCR symposium tackles open systems secur

NCR symposium tackles open systems security issue

📂 Article 📅 1988 🏛 Elsevier Science ⚖ 322 KB