2162 search results - page 237 / 433 » A Meta-Notation for Protocol Analysis |
188
click to vote
CTRSA
2012
Springer
14 years 2 months ago
2012
Springer
We provide an analysis of current and future algorithms for signature and encryption in the EMV standards in the case where a single key-pair is used for both signature and encrypt...
185
click to vote
ICC
2007
IEEE
16 years 28 days ago
2007
IEEE
— Recently, trust establishment is recognized as an important approach to defend distributed networks, such as mobile ad hoc networks and sensor networks, against malicious attac...
147
click to vote
WISA
2007
Springer
16 years 21 days ago
2007
Springer
Abstract. The hash algorithm forms the basis of many popular cryptographic protocols and it is therefore important to find throughput optimal implementations. Though there have be...
170
click to vote
FM
2005
Springer
16 years 4 days ago
2005
Springer
Abstract. We present a software tool platform which facilitates security and performance analysis of systems which starts and ends with UML model descriptions. A UML project is pre...
164
click to vote
GC
2004
Springer
15 years 12 months ago
2004
Springer
The DEGAS project aims at enriching standard UML-centred development environments in such a way that the developers of global applications can exploit automated formal analyses wit...