1286 search results - page 155 / 258 » A Practical Modelling Notation for Secure Distributed Comput... |
122
Voted
CMSB
2006
Springer
15 years 4 months ago
2006
Springer
Abstract. Probabilistic model checking is a formal verification technique that has been successfully applied to the analysis of systems from a broad range of domains, including sec...
112
click to vote
ESORICS
2004
Springer
15 years 6 months ago
2004
Springer
This paper considers iterated ciphers and their resistance against linear and differential cryptanalysis. In the theory of these attacks one assumes independence of the round keys...
104
click to vote
COLCOM
2008
IEEE
15 years 7 months ago
2008
IEEE
The adoption of electronically formatted medical records, so called Electronic Health Records (EHRs), has become extremely important in healthcare systems to enable the exchange of...
126
Voted
ICC
2009
IEEE
15 years 7 months ago
2009
IEEE
Abstract—Network flow models serve as a popular mathematical framework for the analysis and optimization of Multi-hop Wireless Networks. They also serve to provide the understan...
129
Voted
ISCI
2010
14 years 10 months ago
2010
Key agreement (KA) allows two or more users to negotiate a secret session key among them over an open network. Authenticated key agreement (AKA) is a KA protocol enhanced to preve...