213 search results - page 14 / 43 » A formal security policy for xenon |
114
click to vote
CARDIS
1998
Springer
15 years 6 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...
101
Voted
ESORICS
2005
Springer
15 years 7 months 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...
145
click to vote
COMPSAC
2010
IEEE
14 years 12 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...
130
click to vote
ACISP
2008
Springer
15 years 8 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...
119
Voted
ESORICS
2007
Springer
15 years 8 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...