Encapsulating rules of prudent security engineering (Transcript of discussion)

DOI10.1007/3-540-45807-7_16MaRDI QIDQ4411548zbMATH OpenFDO

Authors Jan Jürjens

Publication date 9 July 2003

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL http://link.springer.de/link/service/series/0558/bibs/2467/24670102.htm

Mathematics Subject Classification ID

Network protocols (68M12) Data encryption (aspects in computer science) (68P25) Computing methodologies and applications (68U99)

Recommendations

• Encapsulating rules of prudent security engineering (Position paper)
• Operational semantics and verification of security protocols.
• Security Protocols: Principles and Calculi
• Security engineering with patterns. Origins, theoretical model, and new applications
• Security protocols and their properties

Cited in

(1)

• Towards the integration of security aspects into system development using collaboration-oriented models

This page was built for publication: Encapsulating rules of prudent security engineering (Transcript of discussion)

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