An intelligent intruder model for security protocol analysis

DOI10.1007/3-540-45600-7_2MaRDI QIDQ4473567zbMATH OpenFDO

Authors Dongxi Liu, Xiao-yong Li, Yingcai Bai

Publication date 4 August 2004

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/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 attack-finding algorithm for security protocols.
• An optimized intruder model for SAT-based model-checking of security protocols
• An Adversary Aware and Intrusion Detection Aware Attack Model Ranking Scheme
• A stochastic model for intrusions
• Foundations of Software Science and Computation Structures
• Trustworthy Global Computing
• An integrative framework to protocol analysis and repair: Bellare-Rogaway model + planning + model checker

This page was built for publication: An intelligent intruder model for security protocol analysis

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