524 search results - page 76 / 105 » Enforcing Messaging Security Policies |
192
click to vote
VEE
2006
ACM
16 years 8 hour ago
2006
ACM
Software Dynamic Translation (SDT) systems have been used for program instrumentation, dynamic optimization, security policy enforcement, intrusion detection, and many other uses....
145
click to vote
PADL
2010
Springer
16 years 2 months ago
2010
Springer
Abstract. A Prolog implementation of an In-lined Reference Monitoring system prototype for Adobe ActionScript Bytecode programs is presented. Prolog provides an elegant framework f...
147
click to vote
CISIS
2010
IEEE
16 years 28 days ago
2010
IEEE
Abstract—Security-by-Contract (S×C) is a paradigm providing security assurances for mobile applications. In this work, we present an extension of S×C enriched with an automatic...
162
click to vote
AIMS
2008
Springer
15 years 8 months ago
2008
Springer
Abstract. This paper addresses the problem of specifying and establishing secure collaborations between autonomous entities that need to interact and depend on each other in order ...
130
click to vote
CCS
2005
ACM
15 years 11 months ago
2005
ACM
Simulatability constitutes the cryptographic notion of a secure refinement and has asserted its position as one of the fundamental concepts of modern cryptography. Although simula...