2503 search results - page 374 / 501 » Building Computer Network Attacks |
112
click to vote
ICDCS
2007
IEEE
15 years 8 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...
120
click to vote
CCECE
2006
IEEE
15 years 7 months ago
2006
IEEE
Recent Voice over Internet Protocol (VoIP) technology is attracting more and more attention and interest in the industry. VoIP applications such as IP telephony systems involve se...
125
click to vote
CORR
2011
Springer
14 years 5 months ago
2011
Springer
Consider the problem of verifying security properties of a cryptographic protocol coded in C. We propose an automatic solution that needs neither a pre-existing protocol descripti...
102
click to vote
ICDCS
2009
IEEE
15 years 10 months ago
2009
IEEE
“The Marauder’s Map” is a magical map in J. K. Rowling’s fantasy series, “Harry Potter and the Prisoner of Azkaban”. It shows all moving objects within the “Hogwarts...
118
click to vote
ICCD
2004
IEEE
15 years 10 months ago
2004
IEEE
1 Many computer security threats involve execution of unauthorized foreign code on the victim computer. Viruses, network and email worms, Trojan horses, backdoor programs used in ...