4305 search results - page 41 / 861 » Analysing Protocol Implementations |
ECEASST
2011
13 years 3 months ago
2011
GC
2004
Springer
14 years 2 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...
CHES
2000
Springer
14 years 1 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...
ESORICS
2007
Springer
14 years 3 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...
CSFW
1998
IEEE
14 years 1 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...