524 search results - page 64 / 105 » Enforcing Messaging Security Policies |
151
click to vote
EDOC
2003
IEEE
15 years 11 months ago
2003
IEEE
In this paper we sketch a framework supporting contract enactment within the context of virtual organisation units that are dynamically created in order to achieve a common object...
174
click to vote
PLDI
2006
ACM
16 years 1 days ago
2006
ACM
Adding a sound information flow security policy to an existing program is a difficult task that requires major analysis of and changes to the program. In this paper we show how ...
171
click to vote
ICISS
2010
Springer
15 years 3 months ago
2010
Springer
Abstract. Information integrity is a vital security property in a variety of applications. However, there is more than one facet to integrity: interpretations of integrity in diffe...
133
click to vote
HICSS
2005
IEEE
15 years 11 months ago
2005
IEEE
This article aims to focus on self-regulation mechanisms that are exercised by virtual communities in order to maintain their boundaries of autonomy while directing behavior of th...
161
click to vote
CCS
2008
ACM
15 years 8 months ago
2008
ACM
This paper presents the first type system for statically analyzing security protocols that are based on zero-knowledge proofs. We show how several properties offered by zero-knowl...