727 search results - page 87 / 146 » A Calculus of Bounded Capacities |
162
click to vote
CCS
2005
ACM
15 years 11 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...
166
click to vote
FOSSACS
2005
Springer
15 years 11 months ago
2005
Springer
Abstract. Nominal logic is a variant of first-order logic equipped with a “freshname quantifier” N and other features useful for reasoning about languages with bound names. I...
129
click to vote
LICS
2002
IEEE
15 years 11 months ago
2002
IEEE
We present the first complete problems for dynamic complexity classes including the classes Dyn-FO and Dyn-ThC ¢ , the dynamic classes corresponding to relational calculus and (...
172
click to vote
CLUSTER
2000
IEEE
15 years 10 months ago
2000
IEEE
We propose a programming model for distributed concurrent systems with mobile objects in the context of a process calculus. Code mobility is induced by lexical scoping on names. O...
163
click to vote
LICS
1999
IEEE
15 years 10 months ago
1999
IEEE
The problem of defining and checking a subtype relation between recursive types was studied in [3] for a first order type system, but for second order systems, which combine subty...