460 search results - page 3 / 92 » Heuristic Methods for Security Protocols |
CCS
2010
ACM
13 years 5 months ago
2010
ACM
We propose a development method for security protocols based on stepwise refinement. Our refinement strategy guides sformation of abstract security goals into protocols that are s...
TPHOL
2009
IEEE
14 years 2 months ago
2009
IEEE
Traditional security protocols are mainly concerned with key establishment and principal authentication and rely on predistributed keys and properties of cryptographic operators. I...
CJ
2002
13 years 7 months ago
2002
l examination of the underlying assumptions, abstractions, and possible actions. Consequently, assuring that a system behaves securely is virtually impossible without the use of ri...
SKG
2006
IEEE
14 years 1 months ago
2006
IEEE
We use semi-regular entities to denote the entities different from penetrates that participate in the protocol on behalf of themselves such as customers in e-commerce.
CAMAD
2006
IEEE
13 years 11 months ago
2006
IEEE