201 search results - page 2 / 41 » Security Properties of Typed Applets |
CSFW
2000
IEEE
13 years 9 months ago
2000
IEEE
We propose an approach to support confidentiality for mobile implementations of security-sensitive protocols using Java/JVM. An applet which receives and passes on confidential in...
WOTE
2010
13 years 3 months ago
2010
Abstract. While electronic elections promise the possibility of convenient, efficient and secure facilities for recording and tallying votes, recent studies have highlighted inadeq...
POPL
2000
ACM
13 years 9 months ago
2000
ACM
Certified code is a general mechanism for enforcing security properties. In this paradigm, untrusted mobile code carries annotations that allow a host to verify its trustworthine...
TAPSOFT
1997
Springer
13 years 9 months ago
1997
Springer
This paper presents a type system which guarantees that well-typed programs in a procedural programming language satisfy a noninterference security property. With all program input...
CSFW
2000
IEEE
13 years 9 months ago
2000
IEEE
We consider the problem of assembling concurrent software systems from untrusted or partially trusted o -the-shelf components, using wrapper programs to encapsulate components and...