718 search results - page 38 / 144 » Security protocols, properties, and their monitoring |
147
click to vote
SIGMETRICS
2006
ACM
15 years 8 months ago
2006
ACM
Despite the existence of several secure BGP routing protocols, there has been little progress to date on actual adoption. Although feasibility for widespread adoption remains the ...
124
click to vote
ISECS
2008
IEEE
15 years 8 months ago
2008
IEEE
Buyer-seller watermarking protocols incorporate digital watermarking with cryptography, in order to protect digital copyrights and privacy rights for the seller and the buyer befo...
110
click to vote
DATE
2005
IEEE
15 years 7 months ago
2005
IEEE
Automated synthesis of monitors from high-level properties plays a significant role in assertion-based verification. We present here a methodology to synthesize assertion monitors...
VOTEID
2007
Springer
15 years 8 months ago
2007
Springer
Abstract. End-to-end auditable voting systems are expected to guarantee very interesting, and often sophisticated security properties, including correctness, privacy, fairness, rec...
117
click to vote
SECURWARE
2007
IEEE
15 years 8 months ago
2007
IEEE
A Man-in-the-Middle (MitM) attack is, in the scope of a LAN, a technique where an attacker is able to redirect all traffic between two hosts of that same LAN for packet sniffing...