68 search results - page 11 / 14 » How to Prevent Type Flaw Attacks on Security Protocols |
CSFW
2002
IEEE
13 years 11 months ago
2002
IEEE
We carry forward the work described in our previous papers [3, 14, 12] on the application of data independence to the model checking of cryptographic protocols using CSP [13] and ...
CSFW
2009
IEEE
14 years 1 months ago
2009
IEEE
Multi-party contract signing protocols specify how a number of signers can cooperate in achieving a fully signed contract, even in the presence of dishonest signers. This problem h...
NSDI
2008
13 years 9 months ago
2008
Using statistical machine learning for making security decisions introduces new vulnerabilities in large scale systems. This paper shows how an adversary can exploit statistical m...
JSAC
2006
13 years 6 months ago
2006
Abstract--Wireless sensor networks have received a lot of attention recently due to its wide applications. An accurate and synchronized clock time is crucial in many sensor network...
CSREASAM
2010
13 years 3 months ago
2010
Nowadays, Network Intrusion Detection Systems are quickly updated in order to prevent systems against new attacks. This situation has provoked that attackers focus their efforts on...