4305 search results - page 41 / 861 » Analysing Protocol Implementations |
137
Voted
GC
2004
Springer
15 years 10 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...
136
Voted
CHES
2000
Springer
15 years 9 months ago
2000
Springer
Power analysis is a very successful cryptanalytic technique which extracts secret information from smart cards by analysing the power consumed during the execution of their interna...
144
click to vote
ESORICS
2007
Springer
15 years 11 months ago
2007
Springer
Although there exist informal design guidelines and formal development support, security protocol development is time-consuming because design is error-prone. In this paper, we int...
181
click to vote
CSFW
1998
IEEE
15 years 9 months ago
1998
IEEE
This paper applies the theory of Communicating Sequential Processes (CSP) to the modelling and analysis of a non-repudiation protocol. Non-repudiation protocols di er from authent...