International Association for Cryptologic Research

International Association
for Cryptologic Research

CryptoDB

A Formal Approach to Security Architectures

Authors:
Rainer A. Rueppel
Download:
DOI: 10.1007/3-540-46416-6_33 (login may be required)
Search ePrint
Search Google
Conference: EUROCRYPT 1991
BibTeX
@inproceedings{eurocrypt-1991-2779,
  title={A Formal Approach to Security Architectures},
  booktitle={Advances in Cryptology - EUROCRYPT '91, Workshop on the Theory and Application of of Cryptographic Techniques, Brighton, UK, April 8-11, 1991, Proceedings},
  series={Lecture Notes in Computer Science},
  publisher={Springer},
  volume={547},
  pages={387-398},
  doi={10.1007/3-540-46416-6_33},
  author={Rainer A. Rueppel},
  year=1991
}