609 search results - page 90 / 122 » Modelling and Checking Timed Authentication of Security Prot... |
ACNS
2004
Springer
14 years 25 days 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...
SIGSOFT
2005
ACM
14 years 9 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
12 years 4 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
14 years 2 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
14 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...