177 search results - page 5 / 36 » Higher-Order Abstract Non-interference |
ICTCS
2007
Springer
15 years 3 months ago
2007
Springer
The information flow property of Non-Interference was recently relaxed into Abstract NonInterference (ANI), a weakened version where attackers can only observe properties of data,...
68
Voted
RTA
2000
Springer
15 years 1 months ago
2000
Springer
We consider the problem of higher-order matching restricted et of linear -terms (i.e., -terms where each abstraction x. M is such that there is exactly one free occurrence of x in ...
130
click to vote
FTP
1998
Springer
15 years 1 months ago
1998
Springer
Abstract. First-order modal logic, in the usual formulations, is not sufficiently expressive, and as a consequence problems like Frege's morning
81
Voted
CADE
1998
Springer
15 years 1 months ago
1998
Springer
Abstract. In this paper we present an extensional higher-order resolution calculus that is complete relative to Henkin model semantics. The treatment of the extensionality principl...
100
click to vote
CADE
2003
Springer
15 years 9 months ago
2003
Springer
Abstract. We present an abstract view of existential variables in a dependently typed lambda-calculus based on modal type theory. This allows us to justify optimizations to pattern...