3751 search results - page 32 / 751 » Events in security protocols |
ICNP
2005
IEEE
14 years 1 months ago
2005
IEEE
In this paper, we focus on the problem of identifying a family of collusion resistant protocols that demonstrate a tradeoff between the number of secrets that users maintain and t...
GECCO
2006
Springer
13 years 11 months ago
2006
Springer
This poster paper outlines a method for a search based approach to the development of provably correct protocols. Categories and Subject Descriptors C.2.2 [Computer Communication ...
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...
ACSAC
2006
IEEE
13 years 11 months ago
2006
IEEE
Restrictions are commonly placed on the permitted uses of network protocols in the interests of security. These restrictions can sometimes be difficult to enforce. As an example, ...
IEEEIAS
2007
IEEE
14 years 2 months ago
2007
IEEE
We model security protocols as a game tree using concepts of game semantics. The model interprets protocol specifications as strategies over a game tree that represents the type ...