243
click to vote
ESOP
15 years 9 months ago
2004 Springer 
The Ambient calculus is a successful model of distributed, mobile computation, and has been the vehicle of new ideas for resource access control. Mobility types have been used to e...
226
click to vote
ESOP
15 years 9 months ago
2004 Springer 
We show how to combine trust management theories with nonce-based cryptographic protocols. The strand space framework for protocol analysis is extended by associating formulas from...
150
click to vote
ESOP
15 years 9 months ago
2004 Springer 
Abstract. We show how to formalise a constraint-based data flow analysis in the specification language of the Coq proof assistant. This involves defining a dependent type of lat...
140
click to vote
ESOP
15 years 9 months ago
2004 Springer
Abstract. We introduce an approach to designing filtering algorithms by derivation from finite automata operating on constraint signatures. We illustrate this approach in two cas...
138
click to vote
ESOP
15 years 9 months ago
2004 Springer
t) Peter W. O’Hearn Queen Mary, University of London In the 1960s Dijkstra suggested that, in order to limit the complexity of potential process interactions, concurrent programs...
|
Programming Languages