2270 search results - page 171 / 454 » Modelling Secure IT Systems - A Survey |
142
click to vote
JCS
2011
14 years 10 months ago
2011
RFID systems often use near-field magnetic coupling to implement communication channels. The advertised operational range of these channels is less than 10 cm and therefore sever...
135
Voted
ESSOS
2009
Springer
15 years 10 months ago
2009
Springer
Discovery of security vulnerabilities is on the rise. As a result, software development teams must place a higher priority on preventing the injection of vulnerabilities in softwar...
134
Voted
ICDCS
2007
IEEE
15 years 10 months ago
2007
IEEE
Security and reliability of network protocol implementations are essential for communication services. Most of the approaches for verifying security and reliability, such as forma...
158
click to vote
FORTE
2008
15 years 5 months ago
2008
Network-based fuzz testing has become an effective mechanism to ensure the security and reliability of communication protocol systems. However, fuzz testing is still conducted in a...
132
Voted
CSFW
2006
IEEE
15 years 9 months ago
2006
IEEE
We develop a compositional method for proving cryptographically sound security properties of key exchange protocols, based on a symbolic logic that is interpreted over conventiona...