3504 search results - page 215 / 701 » Secure protocol composition |
198
Voted
CSFW
1995
IEEE
15 years 10 months ago
1995
IEEE
We discuss the issues involved in modelling and verifying key-exchange protocols within the framework of CSP and its model-checking tool FDR. Expressing such protocols within a pr...
124
click to vote
LREC
2010
15 years 7 months ago
2010
This paper is concerned with resources for controlled languages for alert messages and protocols in the European perspective. These resources have been produced as the outcome of ...
151
Voted
IPL
2006
15 years 6 months ago
2006
The Diffie-Hellman key agreement protocol is based on taking large powers of a generator of a prime-order cyclic group. Some generators allow faster exponentiation. We show that to...
128
click to vote
IEEEARES
2006
IEEE
16 years 14 days ago
2006
IEEE
— The three traditional objectives of computer security are confidentiality, integrity and availability [8]. Availability can be defined as the prevention of denial of service. C...
160
click to vote
SPW
2004
Springer
15 years 11 months ago
2004
Springer
In this paper, we present a security framework that provides identity protection against active and passive attacks for end-points. The framework is based on a two-round-trip authe...