5324 search results - page 350 / 1065 » Internet Security Protocols |
155
click to vote
ESORICS
2008
Springer
15 years 8 months ago
2008
Springer
The Maude-NRL Protocol Analyzer (Maude-NPA) is a tool and inference system for reasoning about the security of cryptographic protocols in which the cryptosystems satisfy different ...
168
click to vote
IJNSEC
2008
15 years 6 months ago
2008
In this paper we propose an authenticated key agreement, which works in a braid group. We prove that our protocol meet the security attributes under the assumption that the Conjug...
166
click to vote
HICSS
2002
IEEE
15 years 11 months ago
2002
IEEE
New kinds of risks increasingly threaten electronic commerce. The traditional instrument for risk transfer is insurance. Research is needed to determine whether new Internet risks...
193
click to vote
IJNSEC
2008
15 years 6 months ago
2008
The Internet is crucial to business, government, education and many other facets of society and its continuing scalability places serious challenges on the routing system's c...
196
click to vote
COMPSEC
2004
15 years 6 months ago
2004
Security technology suitable for the burgeoning embedded system market has not been widespread. Untrusted code downloaded from the Internet poses numerous security risks due to th...