273 search results - page 34 / 55 » Formal Implementation of Network Security Policies |
CCS
2007
ACM
14 years 2 months ago
2007
ACM
In this paper we propose a new voting protocol with desirable security properties. The voting stage of the protocol can be performed by humans without computers; it provides every...
CCS
2009
ACM
14 years 3 months ago
2009
ACM
Social networking services well know that some users are unwilling to freely share the information they store with the service (e.g. proļ¬le information). To address this, servic...
CSSE
2004
IEEE
13 years 8 months ago
2004
IEEE
One of the most important features of XML-based Web services is that they can be easily accessed over the Internet, but this makes them vulnerable to a series of security threats....
OSDI
2006
ACM
14 years 8 months ago
2006
ACM
HiStar is a new operating system designed to minimize the amount of code that must be trusted. HiStar provides strict information flow control, which allows users to specify preci...
SACMAT
2011
ACM
12 years 11 months ago
2011
ACM
In this paper, we present an approach for identity and access management (IAM) in the context of (cross-organizational) serviceoriented architectures (SOA). In particular, we deļ¬...