5324 search results - page 275 / 1065 » Internet Security Protocols |
201
click to vote
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...
125
click to vote
LREC
2010
15 years 8 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 ...
154
click to vote
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...
143
click to vote
ICEIS
2002
IEEE
15 years 11 months ago
2002
IEEE
: The Internet is experiencing an overwhelming growth that will have a negative impact on its performance and quality of service. In this paper we describe a new architecture that ...
129
click to vote
IEEEARES
2006
IEEE
16 years 19 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...