15777 search results - page 2566 / 3156 » Software Engineering |
199
click to vote
FOSSACS
2005
Springer
16 years 18 days ago
2005
Springer
Separation logic is a spatial logic for reasoning locally about heap structures. A decidable fragment of its assertion language was presented in [1], based on a bounded model prope...
189
click to vote
FOSSACS
2005
Springer
16 years 18 days ago
2005
Springer
Abstract. An extension of the λ-calculus is proposed, to study historybased access control. It allows for security policies with a possibly nested, local scope. We define a type ...
175
click to vote
FOSSACS
2005
Springer
16 years 18 days ago
2005
Springer
Language-based and process calculi-based information security are well developed fields of computer security. Although these fields have much in common, it is somewhat surprising...
173
click to vote
FOSSACS
2005
Springer
16 years 18 days ago
2005
Springer
Abstract. We investigate a category theoretic model where both “variables” and “names”, usually viewed as separate notions, are particular cases of the more general notion ...
140
click to vote
FOSSACS
2005
Springer
16 years 18 days ago
2005
Springer
Structural congruences have been used to define the semantics and to capture inherent properties of language constructs. They have been used as an addendum to transition system sp...