Reconstruction of Attacks against Cryptographic Protocols

Authors:
Xavier Allamigeon;Bruno Blanchet
Affiliations:
École Polytechnique and Corps des Télécommunications;École Normale Supérieure
Venue:
CSFW '05 Proceedings of the 18th IEEE workshop on Computer Security Foundations
Year:
2005

Citing 0
Cited 10

A Novel Derivation Framework For Definite Logic Program

Electronic Notes in Theoretical Computer Science (ENTCS)
Verifying policy-based web services security

ACM Transactions on Programming Languages and Systems (TOPLAS)
On the Security Analysis of Lee, Hwang & Lee (2004) and Song & Kim (2000) Key Exchange / Agreement Protocols

Informatica
Verified interoperable implementations of security protocols

ACM Transactions on Programming Languages and Systems (TOPLAS)
SPVT-II: An Efficient Security Protocol Verifier Based on Logic Programming

Information Security and Cryptology
Verification of Security Protocols with a Bounded Number of Sessions Based on Resolution for Rigid Variables

Formal to Practical Security
Automatic verification of correspondences for security protocols

Journal of Computer Security
Automated Security Protocol Analysis With the AVISPA Tool

Electronic Notes in Theoretical Computer Science (ENTCS)
An abstraction and refinement framework for verifying security protocols based on logic programming

ASIAN'07 Proceedings of the 12th Asian computing science conference on Advances in computer science: computer and network security
Security protocol verification: symbolic and computational models

POST'12 Proceedings of the First international conference on Principles of Security and Trust

Quantified Score

Hi-index	0.00

Visualization

Abstract

This paper advocates a novel approach to the construction of secure software: controlling information flow and maintaining integrity via monadic encapsulation of effects. This approach is constructive, relying on properties of monads and monad transformers ...