2432 search results - page 19 / 487 » Cryptographic logical relations |
JOLLI
2008
14 years 9 months ago
2008
In this paper, consistency is understood in the standard way, i.e. as the absence of a contradiction. The basic constructive logic BK c4 , which is adequate to this sense of consis...
KR
2010
Springer
14 years 12 months ago
2010
Springer
We study logical principles connecting two relations: independence, which is known as nondeducibility in the study of information flow, and functional dependence. Two different e...
IJNSEC
2007
14 years 9 months ago
2007
The widespread adoption of IEEE 802.11 wireless networks has brought its security paradigm under active research. One of the important research areas in this field is the realiza...
SIGSOFT
2000
ACM
15 years 2 months ago
2000
ACM
An automatic analysis method for first-order logic with sets and relations is described. A first-order formula is translated to a quantifier-free boolean formula, which has a mode...
AIML
2008
14 years 11 months ago
2008
We present a complete axiomatization of a logic denoted by MTML (Mereo-Topological Modal Logic) based on the following set of mereotopological relations: part-of, overlap, underlap...