1653 search results - page 95 / 331 » Timed analysis of security protocols |
ENTCS
2006
13 years 10 months ago
2006
In multilevel systems it is important to avoid unwanted indirect information flow from higher levels to lower levels, namely the so called covert channels. Initial studnformation ...
ACISP
2010
Springer
13 years 8 months ago
2010
Springer
Many applications using cryptographic hash functions do not require collision resistance, but some kind of preimage resistance. That's also the reason why the widely used SHA-...
INFOCOM
2011
IEEE
13 years 1 months ago
2011
IEEE
—Receiver-location privacy is an important security requirement in privacy-preserving Vehicular Ad hoc Networks (VANETs), yet the unavailable receiver’s location information ma...
ECBS
2009
IEEE
14 years 4 months ago
2009
IEEE
Probabilistic models are useful for analyzing systems which operate under the presence of uncertainty. In this paper, we present a technique for verifying safety and liveness prop...
IEEEIAS
2009
IEEE
13 years 7 months ago
2009
IEEE
In order to avoid security threats caused by password attack and replay attack in single sign-on protocal, the most methods on sovling these issues are making use of complicated te...