3811 search results - page 119 / 763 » The Safe-Tcl Security Model |
152
click to vote
ATAL
2011
Springer
14 years 4 months ago
2011
Springer
Recent rise in maritime piracy prompts the search for novel techniques for addressing the problem. We therefore developed AgentC, a prototype system that demonstrates how agent-ba...
149
click to vote
CSFW
2012
IEEE
13 years 7 months ago
2012
IEEE
—Tracking information flow in dynamic languages remains an important and intricate problem. This paper makes substantial headway toward understanding the main challenges and res...
145
click to vote
CCS
2009
ACM
15 years 9 months ago
2009
ACM
Identity theft has fostered to a major security problem on the Internet, in particular stealing passwords for web applications through phishing and malware. We present TruWallet, ...
140
click to vote
ACISP
2009
Springer
15 years 11 months ago
2009
Springer
In the setting of identity-based encryption with multiple trusted authorities, TA anonymity formally models the inability of an adversary to distinguish two ciphertexts correspondi...
129
Voted
PLDI
2006
ACM
15 years 10 months ago
2006
ACM
Type systems for secure information flow are useful for efficiently checking that programs have secure information flow. They are, however, conservative, so that they often rej...