The following pages link to S. A. Schneider (Q293166):
Displaying 37 items.
- (Q164214) (redirect page) (← links)
- An attack on a recursive authentication protocol. A cautionary tale (Q293167) (← links)
- (Q333313) (redirect page) (← links)
- Foundations for using linear temporal logic in Event-B refinement (Q333316) (← links)
- Changing system interfaces consistently: a new refinement strategy for CSP\(\|\)B (Q549684) (← links)
- A brief history of Timed CSP (Q674191) (← links)
- Fixed points without completeness (Q674192) (← links)
- Timewise refinement for communicating processes (Q676846) (← links)
- The behavioural semantics of Event-B refinement (Q736910) (← links)
- Tank monitoring: A pAMN case study (Q851131) (← links)
- Recursion induction for real-time processes (Q1329195) (← links)
- Design and verification of distributed recovery blocks with CSP (Q1870210) (← links)
- An operational semantics for timed CSP (Q1891147) (← links)
- Anonymous single-sign-on for \(n\) designated services with traceability (Q2167743) (← links)
- CSP theorems for communicating B machines (Q2432218) (← links)
- Verifying security protocols with PVS: widening the rank function approach (Q2484411) (← links)
- (Q2751751) (← links)
- Versatile Prêt à Voter: Handling Multiple Election Methods with a Unified Interface (Q3058716) (← links)
- An algebraic approach to the verification of a class of Diffie-Hellman protocols (Q3435341) (← links)
- Changing System Interfaces Consistently: A New Refinement Strategy for CSP||B (Q3605463) (← links)
- (Q4436957) (← links)
- (Q4472199) (← links)
- (Q4493891) (← links)
- (Q4494259) (← links)
- A Formal Framework for Modelling Coercion Resistance and Receipt Freeness (Q4647845) (← links)
- (Q4790341) (← links)
- (Q4791265) (← links)
- May Testing, Non-interference, and Compositionality (Q4923384) (← links)
- Equal To The Task? (Q5030181) (← links)
- CSP and anonymity (Q5096415) (← links)
- Chunks: Component Verification in CSP ∥ B (Q5429309) (← links)
- Communicating Sequential Processes. The First 25 Years (Q5709372) (← links)
- Factorizing proofs in timed CSP (Q5887513) (← links)
- Timewise refinement for communicating processes (Q5890047) (← links)
- Information Security and Cryptology (Q5897805) (← links)
- Integrated Formal Methods (Q5901608) (← links)
- Abstraction and testing in CSP (Q5926769) (← links)
