5255 search results - page 196 / 1051 » Formal Methods for Privacy |
156
Voted
CSFW
2006
IEEE
15 years 9 months ago
2006
IEEE
We argue that games are expressive enough to encompass (history-based) access control, (resource) usage control (e.g., dynamic adaptive access control of reputation systems), acco...
159
click to vote
AGENTS
2001
Springer
15 years 8 months ago
2001
Springer
The CASA architecture describes a platform for the provisioning of services by agents by supporting three levels of agent design. At the base level is a framework to build an agen...
122
Voted
ACSAC
1999
IEEE
15 years 8 months ago
1999
IEEE
Coordinating security policies in information enclaves is challenging due to their heterogeneity and autonomy. Administrators must reconcile the semantic diversity of data and sec...
121
Voted
CSFW
1999
IEEE
15 years 8 months ago
1999
IEEE
The combination of two security protocols, a simple shared-key communication protocol and the Di e-Hellman key distribution protocol, is modeled formally and proved correct. The m...
179
Voted
CSFW
1997
IEEE
15 years 8 months ago
1997
IEEE
This paper presents a general approach for analysis and veri cation of authentication properties in the language of Communicating Sequential Processes (CSP). It is illustrated by ...