3811 search results - page 164 / 763 » The Safe-Tcl Security Model |
180
click to vote
SCN
2010
Springer
15 years 4 months ago
2010
Springer
Abstract. This paper shows some efficient and provably-secure convertible undeniable signature schemes (with both selective conversion and all conversion), in the standard model an...
211
click to vote
JAIR
2011
14 years 9 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...
224
click to vote
CSFW
2012
IEEE
13 years 9 months ago
2012
IEEE
The onion routing network Tor is undoubtedly the most widely employed technology for anonymous web access. Although the underlying onion routing (OR) protocol appears satisfactory...
288
click to vote
POPL
2008
ACM
16 years 6 months ago
2008
ACM
In language-based security, confidentiality and integrity policies conveniently specify the permitted flows of information between different parts of a program with diverse levels...
293
click to vote
SIGMOD
2009
ACM
16 years 6 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 ...