461 search results - page 71 / 93 » Developing security protocols by refinement |
IMC
2007
ACM
13 years 9 months ago
2007
ACM
The Secure Socket Layer (SSL) and its variant, Transport Layer Security (TLS), are used toward ensuring server security. In this paper, we characterize the cryptographic strength ...
WADT
1999
Springer
14 years 4 days ago
1999
Springer
Based on the FOCUS theory of distributed systems (see [Broy, Stølen 01]) that are composed of interacting components we introduce a formal model of services and layered architectu...
ICSE
1999
IEEE-ACM
14 years 5 days ago
1999
IEEE-ACM
Formal verification methods are used only sparingly in software development. The most successful methods to date are based on the use of model checking tools. To use such he user ...
OOPSLA
2009
Springer
14 years 14 days ago
2009
Springer
The traditional model transformation approach is to write transformation programs in a specialized language. Although such languages provide powerful capabilities to automate mode...
CORR
2006
Springer
13 years 8 months ago
2006
Springer
Differential Power Analysis (DPA) presents a major challenge to mathematically-secure cryptographic protocols. Attackers can break the encryption by measuring the energy consumed i...