637 search results - page 77 / 128 » The Case for Abstracting Security Policies |
139
click to vote
AC
1998
Springer
15 years 6 months ago
1998
Springer
Abstract. In 1982, Bennett and Brassard suggested a new way to provide privacy in long distance communications with security based on the correctness of the basic principles of qua...
118
click to vote
SP
2010
IEEE
15 years 5 months ago
2010
IEEE
—EMV is the dominant protocol used for smart card payments worldwide, with over 730 million cards in circulation. Known to bank customers as “Chip and PIN”, it is used in Eur...
118
click to vote
ISPEC
2009
Springer
15 years 8 months ago
2009
Springer
Abstract. Side-channel attacks are a very powerful cryptanalytic technique. Li and Gu [ProvSec’07] proposed an approach against side-channel attacks, which states that a symmetri...
107
click to vote
COMPSAC
2005
IEEE
15 years 7 months ago
2005
IEEE
To protect software against malicious activities, organizations are required to monitor security breaches. Intrusion Detection Systems (IDS) are those kinds of monitoring tools th...
130
click to vote
ASIAN
2009
Springer
15 years 3 months ago
2009
Springer
Abstract. Clever algorithm design is sometimes superseded by simple encodings into logic. We apply this motto to a few case studies in the formal verification of security propertie...