Searching for "Analysing Security Protocols." – sorted by Relevance.
54 documents found, showing 1 through 10.
Next 10 →
-
Soft Constraint Programming to Analysing Security Protocols
- … Programming to Analysing Security Protocols GIAMPAOLO BELLA University of Cambridge, Computer Laboratory 15 JJ…
- Cited by 12 (8 self) – Add To MetaCart
-
Automated Attack Analysis and Code Generation in a Multi-Dimensional Security Protocol Engineering
- … design and analyse security protocols. The premise of this paper is that providing a means of analysing…
- Cited by 5 (1 self) – Add To MetaCart
-
SG Logic - A Formal Analysis Technique for Authentication Protocols
- … cryptographic keys. Hence formal techniques are needed which help to analyse the security of these protocols…
- Cited by 2 (0 self) – Add To MetaCart
-
SG Logic - A Formal Analysis Technique for Authentication Protocols
- … cryptographic keys. Hence formal techniques are needed which help to analyse the security of these protocols…
- Add To MetaCart
-
Equal to the task
- …. Many methods of analysing security protocols have been proposed, but most such methods rely…
- Cited by 2 (0 self) – Add To MetaCart
-
Automatic analysis of the security of XOR-based key management schemes
- … for analysing security protocols that use XOR, such as key-management APIs. As a case study, we consider the IBM…
- Cited by 3 (2 self) – Add To MetaCart
-
Probabilistic Polynomial-Time Process Calculus and Security Protocol Analysis
- … process calculus that is designed for analysing security protocols. Our long-term goal is to develop a…
- Cited by 21 (0 self) – Add To MetaCart
-
On the relationship between web services security and traditional protocols
- … community for the analysis of cryptographic protocols to be used for analysing WS-Security protocols…
- Cited by 4 (0 self) – Add To MetaCart
-
Multi-Dimensional Security Protocol Engineering using SPEAR
- … an environment in which to design, analyse and generate security protocols. In order to provide multidimensional…
- Cited by 1 (0 self) – Add To MetaCart
-
Advancing Assurance for Secure Distributed Communications
- … for the protocols securing the communications. The protocols ought to be analysed accurately, realistically…
- Add To MetaCart
Showing 1 through 10.
Next 10 →
