6274 search results - page 742 / 1255 » Proofs, Programs, Processes |
174
click to vote
CCS
2004
ACM
16 years 12 days ago
2004
ACM
We propose a type and effect system for authentication protocols built upon a tagging scheme that formalizes the intended semantics of ciphertexts. The main result is that the val...
202
click to vote
MEMOCODE
2003
IEEE
16 years 8 days ago
2003
IEEE
CSP (Communicating Sequential Processes) is a useful algebraic notation for creating a hierarchical behavioural specification for concurrent systems, due to its formal interproces...
176
click to vote
FATES
2003
Springer
16 years 7 days ago
2003
Springer
Generating effective tests and inferring likely program specifications are both difficult and costly problems. We propose an approach in which we can mutually enhance the tests and...
283
Voted
GLOBAL
2003
Springer
16 years 7 days ago
2003
Springer
Klaim (Kernel Language for Agents Interaction and Mobility) is an experimental language specifically designed to program distributed systems consisting of several mobile component...
184
click to vote
SAC
2010
ACM
16 years 4 days ago
2010
ACM
The verification of industrial systems specified with CSP often implies the analysis of many concurrent and synchronized components. The cost associated to these analyses is usu...