524 search results - page 54 / 105 » Enforcing Messaging Security Policies |
168
click to vote
JCS
2010
15 years 4 months ago
2010
Inline reference monitoring is a powerful technique to enforce security policies on untrusted programs. The security-by-contract paradigm proposed by the EU FP6 S3 MS project uses...
152
Voted
ACSAC
2007
IEEE
16 years 13 days ago
2007
IEEE
Security-typed languages (STLs) are powerful tools for provably implementing policy in applications. The programmer maps policy onto programs by annotating types with information ...
148
click to vote
FOSAD
2007
Springer
16 years 8 days ago
2007
Springer
Abstract. We present a framework for designing and composing services in a secure manner. Services can enforce security policies locally, and can invoke other services in a “call...
167
click to vote
SEDE
2010
15 years 4 months ago
2010
Security certification assesses the security posture of a software system to verify its compliance with diverse, pre-specified security controls identified by guidelines from NIST...
150
click to vote
CCS
2010
ACM
15 years 6 months ago
2010
ACM
Decentralized information flow control (DIFC) operating systems provide applications with mechanisms for enforcing information-flow policies for their data. However, significant o...