206 search results - page 21 / 42 » A Logic of Privacy |
ACSAC
2005
IEEE
14 years 1 months ago
2005
IEEE
Understanding the security goals provided by cryptographic protocol implementations is known to be difficult, since security requirements such as secrecy, integrity and authentici...
EIS
2011
13 years 2 months ago
2011
Policy languages (such as privacy and rights) have had little impact on the wider community. Now that Social Networks have taken off, the need to revisit Policy languages and real...
ACSAC
1999
IEEE
13 years 12 months ago
1999
IEEE
This paper reports on an ongoing effort to define the security architecture for the Joint Simulation System (JSIMS), a joint military modeling and simulation system. It also descr...
IEEEARES
2008
IEEE
14 years 2 months ago
2008
IEEE
Policy conformance is a security property gaining importance due to commercial interest like Digital Rights Management. It is well known that static analysis can be used to valida...
IEEEARES
2008
IEEE
14 years 2 months ago
2008
IEEE
Preserving integrity of applications being executed in remote machines is an open problem. Integrity requires that application code is not tampered with, prior to or during execut...