609 search results - page 4 / 122 » Modelling and Checking Timed Authentication of Security Prot... |
IEEEARES
2007
IEEE
14 years 2 months ago
2007
IEEE
Assuring information authenticity is an important issue in the field of information security. A new broadcast authentication protocol is proposed. The protocol is based on time sy...
CSFW
2009
IEEE
14 years 2 months ago
2009
IEEE
Abstract. We present aspier – the first framework that combines software model checking with a standard protocol security model to analyze authentication and secrecy properties ...
WMASH
2003
ACM
14 years 1 months ago
2003
ACM
A serious challenge for seamless roaming between independent wireless LANs (WLANs) is how best to confederate the various WLAN service providers, each having different trust relat...
IPPS
2007
IEEE
14 years 2 months ago
2007
IEEE
This paper investigates the suitability of applying the general-purpose Real-Time Maude tool to the formal specification and model checking analysis of timedependent cryptographi...
ACSAC
2010
IEEE
13 years 5 months ago
2010
IEEE
Leakage of confidential information represents a serious security risk. Despite a number of novel, theoretical advances, it has been unclear if and how quantitative approaches to ...