7 search results - page 2 / 2 » Improvement of BW Multi-party Contract Signing Protocol: Mod... |
ACSW
2006
13 years 6 months ago
2006
Formal specification and verification of protocols have been credited for uncovering protocol flaws; revealing inadequacies in protocol design of the Initial Stage and Negotiation...
SP
1998
IEEE
13 years 9 months 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...