637 search results - page 44 / 128 » The Case for Abstracting Security Policies |
173
Voted
HIPEAC
2005
Springer
16 years 8 days ago
2005
Springer
Abstract. This paper presents a new security architecture for protecting software confidentiality and integrity. Different from the previous process-centric systems designed for ...
166
click to vote
FAC
2008
15 years 6 months ago
2008
The Mondex case study about the specification and refinement of an electronic purse as defined in the Oxford Technical Monograph PRG-126 has recently been proposed as a challenge f...
166
click to vote
HPCN
1999
Springer
15 years 11 months ago
1999
Springer
Abstract. A metacomputing environment is a collection of geographically distributed resources (people, computers, devices, databases) connected by one or more high-speed networks, ...
194
click to vote
ESORICS
2000
Springer
15 years 10 months ago
2000
Springer
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...
184
click to vote
IFIPTM
2010
15 years 5 months ago
2010
Abstract. Language-based information-flow security is concerned with specifying and enforcing security policies for information flow via language constructs. Although much progre...