2137 search results - page 78 / 428 » Proving Abstract Non-interference |
96
Voted
ASIAN
2006
Springer
15 years 1 months ago
2006
Springer
Abstract Non-interference is typically used as a baseline security policy to formalize confidentiality of secret information manipulated by a program. In contrast to static checkin...
COMMA
2008
14 years 11 months ago
2008
Abstract. We present a variant of AB-dispute derivations for assumption-based argumentation (ABA), that can be used for determining the admissibility of claims. ABA reduces the pro...
CORR
2008
Springer
14 years 10 months ago
2008
Springer
Abstract. We generalize some of the central results in automata theory to the abstraction level of coalgebras and thus lay out the foundations of a universal theory of automata ope...
105
click to vote
FAC
2010
14 years 7 months ago
2010
Data refinement is a common approach to reasoning about programs, based on establishing that te program indeed satisfies all the required properties imposed by an intended abstract...
100
click to vote
TCC
2012
Springer
13 years 5 months ago
2012
Springer
The hash-and-sign RSA signature is one of the most elegant and well known signatures schemes, extensively used in a wide variety of cryptographic applications. Unfortunately, the o...