3420 search results - page 15 / 684 » A Language-Based Approach to Security |
NSPW
2004
ACM
14 years 1 months ago
2004
ACM
This paper considers a new security protocol paradigm whereby principals negotiate and on-the-fly generate security protocols according to their needs. When principals wish to in...
ESSOS
2011
Springer
12 years 11 months ago
2011
Springer
Abstract. Today, software security is an issue with increasing importance. Developers, software designers, end users, and enterprises have their own needs w.r.t. software security....
EUROCRYPT
2012
Springer
11 years 10 months ago
2012
Springer
We present a new approach for creating chosen ciphertext secure encryption. The focal point ork is a new abstraction that we call Detectable Chosen Ciphertext Security (DCCA). Int...
IJISEC
2007
13 years 7 months ago
2007
This paper presents a language in which information flow is securely controlled by a type system, yet the security class of data can vary dynamically. Information flow policies ...
XMLSEC
2003
ACM
14 years 25 days ago
2003
ACM
