2137 search results - page 103 / 428 » Proving Abstract Non-interference |
161
click to vote
ICLP
2007
Springer
16 years 14 days ago
2007
Springer
Abstract. The many approaches which have been proposed in the literature for proving the correctness of unfold/fold program transformations, consist in associating suitable well-fo...
182
click to vote
RAID
2007
Springer
16 years 13 days ago
2007
Springer
Abstract. Many host-based anomaly detection systems monitor process execution at the granularity of system calls. Other recently proposed schemes instead verify the destinations of...
194
click to vote
ESORICS
2005
Springer
15 years 12 months ago
2005
Springer
Abstract. Formal methods have been extensively applied to the certification of cryptographic protocols. However, most of these works make the perfect cryptography assumption, i.e....
135
click to vote
ISAAC
2005
Springer
15 years 11 months ago
2005
Springer
Abstract We study an information-theoretic variant of the graph coloring problem in which the objective function to minimize is the entropy of the coloring. The minimum entropy of ...
151
click to vote
SEMWEB
2005
Springer
15 years 11 months ago
2005
Springer
This paper extends the model theory of RDF with rules, placing an emphasis on integration with OWL and decidability of entailstart from an abstract syntax that views a rule as a pa...