3420 search results - page 250 / 684 » A Language-Based Approach to Security |
176
click to vote
APLAS
2010
ACM
15 years 5 months ago
2010
ACM
Abstract. We propose a flexible method for verifying the security of ML programs that use cryptography and recursive data structures. Our main applications are X.509 certificate ch...
161
click to vote
JUCS
2008
15 years 5 months ago
2008
: In a secure roaming scenario, a user U travels to a foreign network and communicates with a foreign server V securely so that no one other than U and V can obtain the messages ex...
193
click to vote
JAIR
2011
14 years 8 months ago
2011
There has been significant recent interest in game theoretic approaches to security, with much of the recent research focused on utilizing the leader-follower Stackelberg game mo...
271
click to vote
SIGMOD
2009
ACM
16 years 5 months ago
2009
ACM
This paper presents SELinks, a programming language focused on building secure multi-tier web applications. SELinks provides a uniform programming model, in the style of LINQ and ...
157
click to vote
STORAGESS
2005
ACM
15 years 11 months ago
2005
ACM
Recently, the Network-Attached Secure Disk (NASD) model has become a more widely used technique for constructing large-scale storage systems. However, the security system proposed...