scientific article; zbMATH DE number 1947521

MaRDI QIDQ4411548zbMATH OpenFDO

Authors Jan Jürjens

Publication date 9 July 2003

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

• scientific article; zbMATH DE number 1947520
• 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:

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