609 search results - page 90 / 122 » Modelling and Checking Timed Authentication of Security Prot... |
ACNS
2004
Springer
15 years 1 months ago
2004
Springer
In the literature, voting protocols are considered secure if they satisfy requirements such as privacy, accuracy, robustness, etc. It can be time consuming to evaluate a voting pr...
93
Voted
SIGSOFT
2005
ACM
15 years 10 months ago
2005
ACM
Growing attention is being paid to application security at requirements engineering time. Confidentiality is a particular subclass of security concerns that requires sensitive inf...
BIRTHDAY
2012
Springer
13 years 5 months ago
2012
Springer
The 40 thieves realize that the fortune in their cave is vanishing. A rumor says that Ali Baba has been granted access (in the form of a certificate) to the cave but they need evi...
ISW
2005
Springer
15 years 3 months ago
2005
Springer
Abstract. We present a universally composable time-stamping scheme based on universal one-way hash functions. The model we use contains an ideal auditing functionality (implementab...
ICNP
2006
IEEE
15 years 3 months ago
2006
IEEE
— In a wormhole attack, wireless transmissions are recorded at one location and replayed at another, creating a virtual link under attacker control. Proposed countermeasures to t...