117 search results - page 18 / 24 » Mediating secure information flow policies |
OOPSLA
2000
Springer
14 years 1 months ago
2000
Springer
It is essential for security to be able to isolate mistrusting programs from one another, and to protect the host platform from programs. Isolation is difficult in object-oriented...
ESOP
2010
Springer
14 years 1 months ago
2010
Springer
Language-based information flow methods offer a principled way to enforce strong security properties, but enforcing noninterference is too inflexible for realistic applications. Se...
COOPIS
2002
IEEE
14 years 2 months ago
2002
IEEE
This paper makes two main contributions towards establishing support for application-specific factors in middleware security mechanisms. First, it develops a simple classification...
BCSHCI
2007
13 years 11 months ago
2007
This paper investigates the issue of trust mediation in eBanking. The card sorting technique was used to probe factors influencing subjects’ attitudes to alternative e-banking h...
JCS
2002
13 years 9 months ago
2002
Abstract. This paper presents an approach enabling a smart card issuer to verify that a new applet securely interacts with already downloaded applets. A security policy has been de...