scientific article; zbMATH DE number 2080671

MaRDI QIDQ4473567zbMATH OpenFDO

Authors Dongxi Liu, Xiao-yong Li, Yingcai Bai

Publication date 4 August 2004

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

Mathematics Subject Classification ID

Data encryption (aspects in computer science) (68P25) Cryptography (94A60)

Recommendations

• An optimized intruder model for SAT-based model-checking of security protocols
• Foundations of Software Science and Computation Structures
• Automata, Languages and Programming
• Easy intruder deductions
• Algebraic Intruder Deductions

Cited in

(7)

• An optimized intruder model for SAT-based model-checking of security protocols
• An Adversary Aware and Intrusion Detection Aware Attack Model Ranking Scheme
• scientific article; zbMATH DE number 1979435 (Why is no real title available?)
• An attack-finding algorithm for security protocols.
• Trustworthy Global Computing
• Foundations of Software Science and Computation Structures
• An integrative framework to protocol analysis and repair: Bellare-Rogaway model + planning + model checker

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 Q4473567)