A Formal Approach to Security Architectures

DOI10.1007/3-540-46416-6_33zbMath0791.68097OpenAlexW1528257298MaRDI QIDQ4037483

Rainer A. Rueppel

Publication date: 18 May 1993

Published in: Advances in Cryptology — EUROCRYPT ’91 (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/3-540-46416-6_33

zbMATH Keywords

security architecture

Mathematics Subject Classification ID

Formal languages and automata (68Q45) Mathematical problems of computer architecture (68M07)

This page was built for publication: A Formal Approach to Security Architectures