6274 search results - page 100 / 1255 » Proofs, Programs, Processes |
CCS
2004
ACM
15 years 5 months ago
2004
ACM
Information flow type systems provide an elegant means to enforce confidentiality of programs. Using the proof assistant Isabelle/HOL, we have machine-checked a recent work of B...
100
click to vote
ENTCS
2008
14 years 12 months ago
2008
Current object-oriented approaches to distributed programs may be criticized in several respects. First, method calls are generally synchronous, which leads to much waiting in dis...
ICALP
2003
Springer
15 years 5 months ago
2003
Springer
197
click to vote
PADL
2009
Springer
16 years 16 days ago
2009
Springer
Abstract. In this paper, we present our initial design and implementation of a declarative network verifier (DNV). DNV utilizes theorem proving, a well established verification tec...
IFIP
2009
Springer
15 years 6 months ago
2009
Springer
We propose a process calculus for mobile ad hoc networks which embodies a behaviour-based multilevel decentralised trust model. Our trust model supports both direct trust, by monit...