671 search results - page 67 / 135 » A Modeling Framework for Generating Security Protocol Specif... |
127
click to vote
CSFW
2004
IEEE
15 years 5 months ago
2004
IEEE
Recently we showed how to justify a Dolev-Yao type model of cryptography as used in virtually all automated protocol provers under active attacks and in arbitrary protocol environ...
123
click to vote
LCN
2006
IEEE
15 years 7 months ago
2006
IEEE
IP Multicast is best known for its bandwidth conservation and lower resource utilization. The classical model of multicast makes it difficult to permit access only to authorized ...
106
click to vote
ASIAN
2007
Springer
15 years 7 months ago
2007
Springer
Abstract. This paper is concerned about relating formal and computational models of cryptography in case of active adversaries when formal security analysis is done with first ord...
126
click to vote
EUROCRYPT
2008
Springer
15 years 3 months ago
2008
Springer
The Universal Composability framework was introduced by Canetti to study the security of protocols which are concurrently executed with other protocols in a network environment. U...
105
click to vote
ATVA
2006
Springer
15 years 5 months ago
2006
Springer
Abstract. Since testing is inherently incomplete, test selection is of vital importance. Coverage measures evaluate the quality of a test suite and help the tester select test case...