A Formal Approach to Security Architectures

DOI10.1007/3-540-46416-6_33MaRDI QIDQ4037483zbMATH OpenOpenAlexFDO

Authors 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

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

Recommendations

• Languages for formalizing, visualizing and verifying software architectures
• Towards an Integrated Formal Analysis for Security and Trust
• A general framework for architecture composability
• Informational analysis of security and integrity
• scientific article; zbMATH DE number 1487487

Cited in

(3)

• Modeling and performance analysis for security aspects
• scientific article; zbMATH DE number 1487483 (Why is no real title available?)
• scientific article; zbMATH DE number 1487487 (Why is no real title available?)

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

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4037483)