805 search results - page 92 / 161 » On the Semantics of Conditional Commitment |
127
click to vote
CCS
2004
ACM
15 years 9 months ago
2004
ACM
A long-standing problem in information security is how to specify and enforce expressive security policies that control information flow while also permitting information release...
166
click to vote
FMCAD
2008
Springer
15 years 6 months ago
2008
Springer
We present a method for verifying information flow properties of software programs using inductive assertions and theorem proving. Given a program annotated with information flow a...
107
click to vote
LREC
2008
15 years 5 months ago
2008
ibe various syntactic and semantic conditions for finding abstract nouns which refer to concepts of adjectives from a text, in an attempt to explore the creation of a thesaurus fr...
122
click to vote
ENTCS
2008
15 years 4 months ago
2008
Logic meta-programming in Prolog is a powerful way to express program analysis and transformation. However, its use can be difficult and error-prone because it requires programmer...
113
click to vote
JANCL
2008
15 years 4 months ago
2008
Consider any logical system, what is its natural repertoire of logical operations? This question has been raised in particular for first-order logic and its extensions with genera...