5843 search results - page 313 / 1169 » Software Security in Practice |
176
click to vote
ICDCS
2007
IEEE
16 years 28 days 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...
152
click to vote
CCS
2007
ACM
16 years 24 days ago
2007
ACM
In a proxy re-encryption (PRE) scheme, a proxy is given special information that allows it to translate a ciphertext under one key into a ciphertext of the same message under a di...
187
click to vote
EUROCRYPT
2003
Springer
15 years 12 months ago
2003
Springer
Abstract. Recently, methods from provable security, that had been developped for the last twenty years within the research community, have been extensively used to support emerging...
154
click to vote
CSFW
1992
IEEE
15 years 10 months ago
1992
IEEE
Most security models explicitly (or implicitly) include the tranquillity principle which prohibits changing the security level of a given piece of information. Yet in practical sy...
164
Voted
FC
2010
Springer
15 years 10 months ago
2010
Springer
Despite the conventional wisdom that proactive security is superior to reactive security, we show that reactive security can be competitive with proactive security as long as the r...