5255 search results - page 381 / 1051 » Formal Methods for Privacy |
120
click to vote
WISA
2004
Springer
15 years 10 months ago
2004
Springer
In distributed component environment, a Role-Based Access Control (RBAC) server manages all authorization policies of components in the same domains whereas the components are dist...
163
click to vote
WPES
2003
ACM
15 years 10 months ago
2003
ACM
Secure Multi-Party Computation enables parties with private data to collaboratively compute a global function of their private data, without revealing that data. The increase in s...
163
Voted
ACSAC
2000
IEEE
15 years 9 months ago
2000
IEEE
This paper presents a Quality of Security Service (QoSS) costing framework and demonstration. A method for quantifying costs related to the security service and for storing and re...
136
Voted
AGENTS
2000
Springer
15 years 9 months ago
2000
Springer
This paper introduces a new domain for believable agents (BA) and presents novel methods for dealing with the unique challenges that arise therein. The domain is providing improvi...
126
click to vote
ACISP
1999
Springer
15 years 9 months ago
1999
Springer
We use combinatorial methods and permutation groups to classify homogeneous boolean functions. The property of symmetry of a boolean function limits the size of the function’s cl...