Article

Towards a Completeness Result for Model Checking of Security Protocols

Author:

G. LoweAuthors Info & Claims

CSFW '98: Proceedings of the 11th IEEE workshop on Computer Security Foundations

Page 96

Published: 09 June 1998 Publication History

Publisher Site

Abstract

No abstract available.

Cited By

View all

Chrétien RCortier VDallon ADelaune S(2019)Typing Messages for Free in Security ProtocolsACM Transactions on Computational Logic10.1145/334350721:1(1-52)Online publication date: 12-Sep-2019
https://dl.acm.org/doi/10.1145/3343507
Bodei CBrodo LDegano PGao H(2010)Detecting and preventing type flaws at static timeJournal of Computer Security10.5555/1804632.180463518:2(229-264)Online publication date: 1-Apr-2010
https://dl.acm.org/doi/10.5555/1804632.1804635
Comon-Lundh HCortier VZălinescu E(2010)Deciding security properties for cryptographic protocols. application to key cyclesACM Transactions on Computational Logic10.1145/1656242.165624411:2(1-42)Online publication date: 22-Jan-2010
https://dl.acm.org/doi/10.1145/1656242.1656244
Show More Cited By

Towards a Completeness Result for Model Checking of Security Protocols

Recommendations

Towards a completeness result for model checking of security protocols

Model checking approaches to the analysis of security protocols have proved remarkably successful. The basic approach is to produce a model of a small system running the protocol, together with a model of the most general intruder who can interact with the ...
Some Improvements on Model Checking CoreASM Models of Security Protocols
ISDPE '10: Proceedings of the 2010 Second International Symposium on Data, Privacy, and E-Commerce

This paper presents a tool called ASM-SPV (Abstract State Machines-Security Protocols Verifier) for verifying security protocols by model checking. In ASM-SPV, a security protocol is modeled by CoreASM language which is an executable ASM (Abstract State ...
Abstractions for model checking system security

Comments

Information & Contributors

Information

Published In

CSFW '98: Proceedings of the 11th IEEE workshop on Computer Security Foundations

June 1998

ISBN:0818684887

Publisher

IEEE Computer Society

United States

Publication History

Published: 09 June 1998

Qualifiers

Article

Contributors

Other Metrics

View Article Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

17
Total Citations
View Citations
0
Total Downloads

Downloads (Last 12 months)0
Downloads (Last 6 weeks)0

Reflects downloads up to 29 Jan 2025

Other Metrics

View Author Metrics

Citations

Cited By

View all

Chrétien RCortier VDallon ADelaune S(2019)Typing Messages for Free in Security ProtocolsACM Transactions on Computational Logic10.1145/334350721:1(1-52)Online publication date: 12-Sep-2019
https://dl.acm.org/doi/10.1145/3343507
Bodei CBrodo LDegano PGao H(2010)Detecting and preventing type flaws at static timeJournal of Computer Security10.5555/1804632.180463518:2(229-264)Online publication date: 1-Apr-2010
https://dl.acm.org/doi/10.5555/1804632.1804635
Comon-Lundh HCortier VZălinescu E(2010)Deciding security properties for cryptographic protocols. application to key cyclesACM Transactions on Computational Logic10.1145/1656242.165624411:2(1-42)Online publication date: 22-Jan-2010
https://dl.acm.org/doi/10.1145/1656242.1656244
Cortier VWarinschi BZălinescu E(2007)Synthesizing secure protocolsProceedings of the 12th European conference on Research in Computer Security10.5555/2393847.2393884(406-421)Online publication date: 24-Sep-2007
https://dl.acm.org/doi/10.5555/2393847.2393884
Basagiannis SKatsaros PPombortsis A(2007)Intrusion attack tactics for the model checking of e-commerce security guaranteesProceedings of the 26th international conference on Computer Safety, Reliability, and Security10.5555/2392550.2392578(238-251)Online publication date: 18-Sep-2007
https://dl.acm.org/doi/10.5555/2392550.2392578
Gagnon FMejri M(2006)A Decision Procedure for Structured Cryptographic ProtocolsProceedings of the 2006 conference on New Trends in Software Methodologies, Tools and Techniques: Proceedings of the fifth SoMeT_0610.5555/1565321.1565344(272-286)Online publication date: 28-May-2006
https://dl.acm.org/doi/10.5555/1565321.1565344
Diaz GLarsen KPardo JCuartero FValero VHaddad HOmicini AWainwright R(2005)An approach to handle real time and probabilistic behaviors in e-commerceProceedings of the 2005 ACM symposium on Applied computing10.1145/1066677.1066864(815-820)Online publication date: 13-Mar-2005
https://dl.acm.org/doi/10.1145/1066677.1066864
Kocher PLee RMcGraw GRaghunathan ARavi SMalik SFix LKahng A(2004)Security as a new dimension in embedded system designProceedings of the 41st annual Design Automation Conference10.1145/996566.996771(753-760)Online publication date: 7-Jun-2004
https://dl.acm.org/doi/10.1145/996566.996771
Díaz GCuartero FValero VPelayo FHaddad HOmicini AWainwright RLiebrock L(2004)Automatic verification of the TLS handshake protocolProceedings of the 2004 ACM symposium on Applied computing10.1145/967900.968063(789-794)Online publication date: 14-Mar-2004
https://dl.acm.org/doi/10.1145/967900.968063
Bugliesi MFocardi RMaffei MAtluri VBackes MBasin DWaidner M(2004)Authenticity by tagging and typingProceedings of the 2004 ACM workshop on Formal methods in security engineering10.1145/1029133.1029135(1-12)Online publication date: 29-Oct-2004
https://dl.acm.org/doi/10.1145/1029133.1029135
Show More Cited By

Abstract

Cited By

Recommendations

Towards a completeness result for model checking of security protocols

Some Improvements on Model Checking CoreASM Models of Security Protocols

Abstractions for model checking system security

Comments

Information

Published In

Publisher

Publication History

Qualifiers

Contributors

Other Metrics

Bibliometrics

Article Metrics

Other Metrics

Citations

Cited By

View options

Share

Share this Publication link

Share on social media

Affiliations