718 search results - page 1 / 144 » Security protocols, properties, and their monitoring |
ICSE
2008
IEEE-ACM
14 years 4 months ago
2008
IEEE-ACM
This paper examines the suitability and use of runtime verification as means for monitoring security protocols and their properties. In particular, we employ the runtime verificat...
TCC
2005
Springer
13 years 10 months ago
2005
Springer
Definition of security under the framework of Environmental Security (a.k.a Network-Aware Security or Universally Composable Security) typically requires “extractability” of t...
ADHOCNOW
2008
Springer
13 years 11 months ago
2008
Springer
Ad hoc networks are exposed more than traditional networks to security threats due to their mobility and open architecture aspects. In addition, any dysfunction due to badly con gu...
CSFW
1997
IEEE
13 years 9 months ago
1997
IEEE
AINA
2006
IEEE
13 years 10 months ago
2006
IEEE
Intelligent security protocols can verify whether the involved principals have properties that are defined based on certain functional and security policies. The property we focu...