213 search results - page 14 / 43 » A formal security policy for xenon |
CARDIS
1998
Springer
13 years 11 months ago
1998
Springer
: The new Gemplus smart card is based on the Java technology, embedding a virtual machine. The security policy uses mechanisms that are based on Java properties. This language prov...
ESORICS
2005
Springer
14 years 28 days ago
2005
Springer
We consider the enforcement powers of program monitors, which intercept security-sensitive actions of a target application at run time and take remedial steps whenever the target a...
COMPSAC
2010
IEEE
13 years 5 months ago
2010
IEEE
The advent of emerging technologies such as Web services, service-oriented architecture, and cloud computing has enabled us to perform business services more efficiently and effect...
ACISP
2008
Springer
14 years 1 months ago
2008
Springer
The standard solution for mutual authentication between human users and servers on the Internet is to execute a TLS handshake during which the server authenticates using a X.509 ce...
ESORICS
2007
Springer
14 years 1 months ago
2007
Springer
We present the Obligation Specification Language (OSL), a policy language for distributed usage control. OSL supports the formalization of a wide range of usage control requiremen...