3713 search results - page 244 / 743 » Constructing a Calculus of Programs |
139
click to vote
ACSD
2008
IEEE
16 years 1 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...
185
click to vote
LICS
2008
IEEE
16 years 1 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...
190
click to vote
APLAS
2006
ACM
16 years 1 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...
206
click to vote
CCS
2005
ACM
16 years 19 days 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...
194
click to vote
ICTCS
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 parametrized security policies with a possibly nested, local scope. To gov...