1653 search results - page 110 / 331 » Timed analysis of security protocols |
109
Voted
IFIP
2009
Springer
15 years 9 days ago
2009
Springer
We present a platform that allows a protocol researcher to specify the sequence of games from an initial protocol to a protocol where the security property under consideration can ...
115
Voted
ESORICS
2009
Springer
15 years 9 months ago
2009
Springer
Abstract. Covert timing channels aim at transmitting hidden messages by controlling the time between transmissions of consecutive payload packets in overt network communication. Pr...
117
Voted
IACR
2011
14 years 2 months ago
2011
Norway is going to experience an Internet voting scheme in September 2011 for local governmental elections, targeting a comprehensive Internet voting system in 2017 for national el...
167
Voted
WISTP
2010
Springer
15 years 9 months ago
2010
Springer
Reliable, inexpensive, on-the-fly networks can be established using mobile ad-hoc network (MANET) technology. Such networks can be used in a wide variety of scenarios ranging from...
111
Voted
SP
1996
IEEE
15 years 6 months ago
1996
IEEE
Security properties such as con dentiality and authenticity may be considered in terms of the ow of messages within a network. To the extent that this characterisation is justi ed...