518 search results - page 32 / 104 » Abstract Interpretation-Based Protection |
ACISP
2003
Springer
15 years 7 months ago
2003
Springer
Abstract. This paper presents a robust software token that was developed to protect user’s digital identity by simple software-only techniques. This work is closely related to Ho...
121
click to vote
CONCUR
1999
Springer
15 years 6 months ago
1999
Springer
Abstract. The ambient calculus is a calculus of computation that allows active processes (mobile ambients) to move between sites. A firewall is said to be protective whenever it d...
110
click to vote
ISW
2000
Springer
15 years 5 months ago
2000
Springer
Abstract. Two robust spatial-domain watermarking algorithms for image copyright protection are described in this paper. The first one is robust against compression, filtering and c...
111
Voted
IFIP11
2004
15 years 3 months ago
2004
This paper proposes a formal model of the Bellare-Rogaway type [1] that enables one to prove the security of an anonymous credential system in a complexity theoretic framework. Th...
111
click to vote
WCE
2007
15 years 3 months ago
2007
Abstract— In this survey we take a look at different approaches proposed in the literature for addressing the privacy and security issues derived from the Radio-Frequency IDenti...