1599 search results - page 34 / 320 » Program Analysis for Security and Privacy |
117
click to vote
SP
2008
IEEE
15 years 8 months ago
2008
IEEE
We study formal security properties of a state-of-the-art protocol for secure file sharing on untrusted storage, in the automatic protocol verifier ProVerif. As far as we know, ...
109
click to vote
WISA
2004
Springer
15 years 7 months ago
2004
Springer
In this paper, we, as well as Eskin, Lee, Stolfo [7] propose a method of prediction model. In their method, the program was characterized with both the order and the kind of system...
117
Voted
ESORICS
2004
Springer
15 years 7 months ago
2004
Springer
Abstract. Enterprise privacy enforcement allows enterprises to internally enforce a privacy policy that the enterprise has decided to comply to. To facilitate the compliance with d...
117
click to vote
OOPSLA
1990
Springer
15 years 6 months ago
1990
Springer
Genericity allows the substitution of types in a class. This is usually obtained through parameterized classes, although they are inflexible since any class can be inherited but i...
146
click to vote
OOPSLA
1991
Springer
15 years 5 months ago
1991
Springer
PICASSOis a graphical user interface development environment built using the Common Lisp Object System (CLOS). This paper describes how CLOS features including multiple inheritanc...