3504 search results - page 517 / 701 » Secure protocol composition |
105
click to vote
JLP
2007
15 years 1 months ago
2007
Exploiting linear type structure, we introduce a new theory bisimilarity for the π-calculus in which we abstract away not only τ-actions but also non-τ actions which do not aff...
118
click to vote
SAC
2002
ACM
15 years 1 months ago
2002
ACM
In most of today's agent systems migration of agents requires homogeneity in the programming language and/or agent platform in which an agent has been designed. In this paper...
114
click to vote
IMC
2007
ACM
15 years 3 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 ...
100
click to vote
IPOM
2009
Springer
15 years 8 months ago
2009
Springer
Abstract. The IPv4 addressing scheme has been the standard for Internet communication since it was established in the 1960s. However, the enormous increase in Internet traffic usag...
ICCCN
2008
IEEE
15 years 8 months ago
2008
IEEE
— Secure Shell (SSH) tunnels are commonly used to provide two types of privacy protection to clear-text application protocols. First and foremost, they aim at protecting the priv...