1653 search results - page 132 / 331 » Timed analysis of security protocols |
123
click to vote
ICSM
2002
IEEE
15 years 8 months ago
2002
IEEE
Testing for software security is a lengthy, complex and costly process. Currently, security testing is done using penetration analysis and formal verification of security kernels....
147
click to vote
SECON
2010
IEEE
15 years 1 months ago
2010
IEEE
Reliability and predictability of the timing behavior have shown to be major issues for wireless sensor network deployments. Real-time requirements presented by several application...
107
click to vote
JAR
2006
15 years 3 months ago
2006
We use some recent techniques from process algebra to draw several conclusions about the well studied class of ping-pong protocols introduced by Dolev and Yao. In particular we sho...
IAAI
1990
15 years 4 months ago
1990
Computer security auditing constitutes an important part of any organization's security procedures. Because of the many inadequacies of currently used manual methods, thoroug...
170
click to vote
GLOBECOM
2006
IEEE
15 years 9 months ago
2006
IEEE
— Radio Frequency Identification (RFID) systems have provided promising solutions to effective identification of a large number of tagged objects. However, RFID systems suffer ...