38 search results - page 2 / 8 » Language-Based Security |
MFCS
1999
Springer
14 years 24 days ago
1999
Springer
ENTCS
2006
13 years 8 months ago
2006
CSFW
2005
IEEE
14 years 2 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
14 years 1 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
14 years 2 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...