3115 search results - page 227 / 623 » Synthesizing Secure Protocols |
140
click to vote
ESCIENCE
2005
IEEE
15 years 11 months ago
2005
IEEE
The majority of current security architectures for grid systems use public key infrastructure (PKI) to authenticate identities of grid members and to secure resource allocation to...
153
click to vote
ICMB
2005
IEEE
15 years 11 months ago
2005
IEEE
SIP appears to be a powerful and useful signaling protocol supporting mobility for wireless IP networks but it has inherent weaknesses and dangers. This paper is a study on the se...
150
click to vote
SASN
2005
ACM
15 years 11 months ago
2005
ACM
Vehicular networks are likely to become the most relevant form of mobile ad hoc networks. In this paper, we address the security of these networks. We provide a detailed threat an...
146
click to vote
CSFW
2002
IEEE
15 years 10 months ago
2002
IEEE
The strand spaces model and the rank functions model have both been used successfully to analyse and verify security protocols running on unbounded networks. At first sight, thes...
162
click to vote
COMPSEC
2008
15 years 5 months ago
2008
-- Voice services over Internet Protocol (VoIP) are nowadays much promoted by telecommunication and Internet service providers. However, the utilization of open networks, like the ...