1536 search results - page 206 / 308 » The Underlying Logic of Hoare Logic |
183
click to vote
ICISC
2008
15 years 7 months ago
2008
Ciphertext-Policy Attribute-Based Encryption (CP-ABE) allows to encrypt data under an access policy, specified as a logical combination of attributes. Such ciphertexts can be decry...
250
click to vote
PTS
2007
15 years 7 months ago
2007
Black-box testing is a popular technique for assessing the quality of a system. However, in case of a test failure, only little information is available to identify the root-cause ...
164
click to vote
AAAI
2004
15 years 7 months ago
2004
A logic of conditional preferences is defined, with a language which allows the compact representation of certain kinds of conditional preference statements, a semantics and a pro...
157
click to vote
COMMA
2006
15 years 7 months ago
2006
We present a procedure for computing the sceptical "ideal semantics" for argumentation in assumption-based frameworks. This semantics was first proposed for logic program...
179
click to vote
IADIS
2004
15 years 7 months ago
2004
The PolicyUpdater1 system is a generic access control system that provides policy evaluations and dynamic policy updates. These functions are achieved by the use of a logic-based ...