5324 search results - page 64 / 1065 » Internet Security Protocols |
FSTTCS
2007
Springer
14 years 1 months ago
2007
Springer
Security protocols are small programs that are executed in hostile environments. Many results and tools have been developed to formally analyze the security of a protocol. However ...
ENTCS
2006
13 years 7 months ago
2006
The application of formal methods to security protocol analysis has been extensively researched during the last 25 years. Several formalisms and (semi-)automatic tools for the ver...
SIGCOMM
2012
ACM
11 years 10 months ago
2012
ACM
Prefix hijacking has always been a big concern in the Internet. Some events made it into the international world-news, but most of them remain unreported or even unnoticed. The s...
CORR
2008
Springer
13 years 7 months ago
2008
Springer
Getting agents in the Internet, and in networks in general, to invest in and deploy security features and protocols is a challenge, in particular because of economic reasons arisi...
ESORICS
2002
Springer
14 years 7 months ago
2002
Springer
A programmable secure coprocessor platform can help solve many security problems in distributed computing. However, these solutions usually require that coprocessor applications be...