scientific article; zbMATH DE number 2080671

zbMATH Open1050.94528MaRDI QIDQ4473567FDOQ4473567

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

Title of this publication is not available (Why is that?)

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

Mathematics Subject Classification ID

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

Cited In (7)

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

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)