3713 search results - page 244 / 743 » Constructing a Calculus of Programs |
103
Voted
ACSD
2008
IEEE
15 years 10 months ago
2008
IEEE
PICNIC is a tool for verifying security properties of systems, namely non-interference properties of processes expressed as terms of the π-calculus with two security levels and d...
146
click to vote
LICS
2008
IEEE
15 years 10 months ago
2008
IEEE
Variable binding is a prevalent feature of the syntax and proof theory of many logical systems. In this paper, we define a programming language that provides intrinsic support fo...
142
click to vote
APLAS
2006
ACM
15 years 10 months ago
2006
ACM
We present a local relational reasoning method for reasoning about contextual equivalence of expressions in a λ-calculus with recursive types and general references. Our developme...
141
click to vote
CCS
2005
ACM
15 years 9 months ago
2005
ACM
We provide an effective procedure for deciding the existence of off-line guessing attacks on security protocols, for a bounded number of sessions. The procedure consists of a co...
130
click to vote
ICTCS
2005
Springer
15 years 9 months ago
2005
Springer
Abstract. An extension of the λ-calculus is proposed to study historybased access control. It allows for parametrized security policies with a possibly nested, local scope. To gov...