687 search results - page 67 / 138 » A Self-Policing Policy Language |
TOPLAS
2008
13 years 9 months ago
2008
WS-SecurityPolicy is a declarative language for configuring web services security mechanisms. We describe a formal semantics for WS-SecurityPolicy and propose a more abstract lang...
ASIAN
2009
Springer
13 years 6 months ago
2009
Springer
Abstract. Language-based information flow analysis is used to statically examine a program for information flows between objects of different security domains, and to verify these ...
OWLED
2007
13 years 10 months ago
2007
Abstract. Among the challenges of managing NASA’s information systems is the management (that is, creation, coordination, verification, validation, and enforcement) of many di...
ESORICS
2006
Springer
14 years 21 days ago
2006
Springer
Abstract. While processor based systems often enforce memory protection to prevent the unintended sharing of data between processes, current systems built around reconfigurable har...
CCS
2010
ACM
14 years 3 months ago
2010
ACM
A web mashup is a web application that integrates content from different providers to create a new service, not offered by the content providers. As mashups grow in popularity, ...