135 search results - page 25 / 27 » Encompassing Attacks to Attacks in Abstract Argumentation Fr... |
ASWEC
2008
IEEE
14 years 1 months ago
2008
IEEE
Security is an integral part of most software systems but it is not considered as an explicit part in the development process yet. Input validation is the most critical part of so...
ICMCS
2006
IEEE
14 years 1 months ago
2006
IEEE
Abstract— Driven by the recent advances in digital entertainment technologies, digital multimedia content (such as music and movies) is becoming a major part of the average compu...
TCC
2005
Springer
14 years 25 days ago
2005
Springer
Abstract. We prove a computational soundness theorem for the symbolic analysis of cryptographic protocols which extends an analogous theorem of Abadi and Rogaway (J. of Cryptology ...
SACRYPT
2004
Springer
14 years 21 days ago
2004
Springer
Abstract. This paper formalizes the security adversarial games for online symmetric cryptosystems in a unified framework for deterministic and probabilistic encryption schemes. On...
IH
2001
Springer
13 years 11 months ago
2001
Springer
Abstract. A constraint-based watermarking technique has been introduced for the protection of intellectual properties such as hardware, software, algorithms, and solutions to hard ...