1679 search results - page 104 / 336 » Security Properties and CSP |
133
Voted
CARDIS
1998
Springer
15 years 8 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...
130
click to vote
CSFW
2009
IEEE
15 years 8 months ago
2009
IEEE
This paper presents a language, based on transaction logic, for specifying dynamic authorisation policies, i.e., rules governing actions that may depend on and update the authoris...
144
click to vote
ASIAN
2006
Springer
15 years 8 months ago
2006
Springer
Given an arbitrary intruder deduction capability, modeled as an inference system S and a protocol, we show how to compute an inference system bS such that the security problem for ...
143
click to vote
ETRICS
2006
15 years 8 months ago
2006
Abstract. Formal methods emphasizes the need for a top-down approach when developing large reliable software systems. Refinements are map step by step abstract algebraic specificat...
141
click to vote
IEEEARES
2010
IEEE
15 years 3 months ago
2010
IEEE
—We propose a new DRM architecture that utilizes a two-step enforcement process to enable strong security even in the case of a compromised DRM viewer. This is achieved by using ...