718 search results - page 43 / 144 » Security protocols, properties, and their monitoring |
114
click to vote
TGC
2007
Springer
15 years 8 months ago
2007
Springer
Distributed applications can be structured using sessions that specify flows of messages between roles. We design a small specific language to declare sessions. We then build a c...
126
click to vote
CORR
2011
Springer
14 years 5 months ago
2011
Springer
Consider the problem of verifying security properties of a cryptographic protocol coded in C. We propose an automatic solution that needs neither a pre-existing protocol descripti...
123
click to vote
IFIP
2009
Springer
14 years 11 months ago
2009
Springer
Cryptographic protocols can only be secure under certain inequality assumptions. Axiomatizing these inequalities explicitly is problematic: stating too many inequalities may impair...
112
click to vote
IFIPTM
2010
15 years 13 days ago
2010
Abstract. Location-dependent services are services that adapt their behavior based on the locations of mobile devices. For many applications, it is critical that location-dependent...
153
click to vote
TITB
2010
14 years 8 months ago
2010
A Body Area Network (BAN) is a wireless network of health monitoring sensors designed to deliver personalized health-care. Securing inter-sensor communications within BANs is essen...