38 search results - page 2 / 8 » Language-Based Security |
MFCS
1999
Springer
13 years 9 months ago
1999
Springer
ENTCS
2006
13 years 5 months ago
2006
CSFW
2005
IEEE
13 years 11 months ago
2005
IEEE
Real computing systems sometimes need to forget sensitive information. This paper explores the specification and semantics of information erasure policies, which impose a strong,...
PET
2004
Springer
13 years 10 months ago
2004
Springer
Abstract. We develop a language-based approach for modeling and verifying aspects of privacy policies. Our approach relies on information-flow control. Concretely, we use the prog...
OOPSLA
2007
Springer
13 years 11 months ago
2007
Springer
: Elephant 2000 is a vehicle for some ideas about programming language features. We expect these features to be valuable in writing and verifying programs that interact with people...