2496 search results - page 304 / 500 » Error-detecting properties of languages |
165
click to vote
ICALP
2007
Springer
16 years 29 days ago
2007
Springer
Abstract. We provide a new characterization of certain zero-knowledge protocols as non-interactive instance-dependent commitment-schemes (NIC). To obtain this result we consider th...
169
click to vote
LADS
2007
Springer
16 years 28 days ago
2007
Springer
Abstract. Using a knowledge-based approach we adjust a knowledgebased algorithm for multi-agent communication for the process of cooperative problem solving (CPS). The knowledge-ba...
171
click to vote
CSFW
2006
IEEE
16 years 26 days ago
2006
IEEE
Role-Based Access Control (RBAC) is a widely used model for expressing access control policies. In large organizations, the RBAC policy may be collectively managed by many adminis...
175
click to vote
CSFW
2006
IEEE
16 years 26 days ago
2006
IEEE
Robustness links confidentiality and integrity properties of a computing system and has been identified as a useful property for characterizing and enforcing security. Previous ...
202
click to vote
JVA
2006
IEEE
16 years 24 days ago
2006
IEEE
History repeats itself. Since the invention of the programmable computer, numerous computer scientists keep dedicating their professional lives to the design of “the single, bes...