4731 search results - page 90 / 947 » Securing Interactive Programs |
ACSAC
2000
IEEE
14 years 1 months ago
2000
IEEE
This paper describes an extension of the Java language that provides “programmable security.” The approach augments the Java syntax with constructs for specifying various acce...
CCS
2007
ACM
14 years 3 months ago
2007
ACM
We present an efficient protocol for privacy-preserving evaluation of diagnostic programs, represented as binary decision trees or branching programs. The protocol applies a bran...
ICMAS
1998
13 years 10 months ago
1998
This paper enriches the current studies on interaction with a domain where agents have original properties about the interaction. The agents interact with the external world and t...
CCS
2010
ACM
13 years 7 months ago
2010
ACM
We present the first sound program transformation approach for automatically transforming the code of a legacy web application to employ PREPARE statements in place of unsafe SQL...
SP
2000
IEEE
14 years 13 days ago
2000
IEEE
Tradeoffs are an important part of engineering security. Protocol security is important. So are efficiency and cost. This paper provides an early framework for handling such aspec...