Searching for authors named "Sadie Creese" – sorted by Relevance.
4 documents found, showing 1 through 4.
-
Data Independent Induction: CSP Model Checking of Arbitrary Sized Networks
- …The challenge for researchers in the formal methods community is to produce formal techniques which industry can use, in terms of people being able to utilise the methods, and in terms of those methods delivering useful results for industrial systems. The formal verification of systems of realistic …
- Cited by 3 (2 self) – Add To MetaCart
-
Exploiting empirical engagement in authenticated protocol design
- …Abstract. We develop the theme of an earlier paper [3], namely that security protocols for pervasive computing frequently need to exploit empirical channels and that the latter can be classified by variants of the Dolev-Yao attacker model. We refine this classification of channels and study three pr…
- Cited by 7 (0 self) – Add To MetaCart
-
Specification and verification of selected intrusion tolerance properties using CSP and FDR
- …MAFTIA Workpackage 6 is concerned with the rigorous definition of the basic MAFTIA concepts, and the verification and assessment of the work on dependable middleware.…
- Add To MetaCart
-
Malicious- and Accidental-Fault Tolerance for Internet Applications - Conceptual Model and Architecture
- …means in particular that these specifications should no longer be probabilistic (unless the service itself is probabilistic, e.g., for a coin flipping protocol). We have defined abstract specifications for two initial examples: secure point-to-point channels, in both the synchronous and the asynchr…
- Cited by 3 (0 self) – Add To MetaCart
Showing 1 through 4.
