166 search results - page 16 / 34 » Formal analysis of secure contracting protocol for e-tenderi... |
CSFW
1998
IEEE
14 years 26 days ago
1998
IEEE
In security protocol analysis, it is important to learn general principles that limit the abilities of an attacker, and that can be applied repeatedly to a variety of protocols. W...
APN
2008
Springer
13 years 10 months ago
2008
Springer
Abstract. In this paper, we introduce a framework composed of a syntax and its compositional Petri net semantics, for the specification and verification of properties (like authent...
ISICT
2003
13 years 10 months ago
2003
: Formal verification provides a rigid and thorough means of evaluating the correctness of cryptographic protocols so that even subtle defects can be identified. As the application...
PERCOM
2007
ACM
14 years 8 months ago
2007
ACM
Group Key Agreement (GKA) protocols enable the participants to derive a key based on each one's contribution over a public network without any central authority. They also pr...
SP
1998
IEEE
14 years 25 days ago
1998
IEEE
This paper presents results from analyzing the vulnerability of security-critical software applications to malicious threats and anomalous events using an automated fault injectio...