378 search results - page 26 / 76 » Programming with Explicit Security Policies |
JCS
2010
13 years 6 months ago
2010
A model of resource access control is presented in which the access control to resources can employ user interaction to obtain the necessary permissions. This model is inspired by...
POPL
2007
ACM
14 years 7 months ago
2007
ACM
It is well recognized that JavaScript can be exploited to launch browser-based security attacks. We propose to battle such attacks using program instrumentation. Untrusted JavaScr...
ECOOP
2004
Springer
14 years 28 days ago
2004
Springer
Module systems are well known as a means for giving clear interfaces for the static linking of code. This paper shows how adding explicit interfaces to modules for 1) dynamic linki...
IWAN
2004
Springer
14 years 27 days ago
2004
Springer
Concast is a customizable many-to-one network-layer communication service. Although programmable services like concast can improve the efficiency of group applications, accompanyi...
FOSSACS
2005
Springer
14 years 1 months ago
2005
Springer
Abstract. An extension of the λ-calculus is proposed, to study historybased access control. It allows for security policies with a possibly nested, local scope. We define a type ...