Searching for "Process Algebra and Security." – sorted by Relevance.
7 documents found, showing 1 through 7.
-
Relating Multiset Rewriting and Process Algebras for Security Protocol Analysis
- …Relating Multiset Rewriting and Process Algebras for Security Protocol Analysis Stefano Bistarelli…
- Cited by 7 (2 self) – Add To MetaCart
-
Bridging language-based and process calculi security
- … disciplines. This paper develops such a link between a language-based specification of security and a process-algebraic…
- Cited by 12 (2 self) – Add To MetaCart
-
The Logical Meeting Point of Multiset Rewriting and Process Algebra: Progress Report
- … ✟ ✟ ✟✟✟✟✟✟✟✟ ✟ ✟ ✟✟✙ ❄ ❍ Sec. 3 Multiset Rewriting ✛ ✲ ω ✛ Sec. 4 ✲ Process Algebra Sec. 5 ❄ Security Protocol Specification…
- Cited by 5 (1 self) – Add To MetaCart
-
Security-by-contract: Toward a semantics for digital signatures on mobile code, in: European PKI
- … (process algebra, security automata, Petri Nets, and so on). In other words, the algorithm is defined…
- Cited by 2 (1 self) – Add To MetaCart
-
A Framework for Security and Control
- …-ordinators. Keywords mobility, process algebra, security, two-level architecture 1 Introduction The issue of security…
- Add To MetaCart
-
Directory of Project Proposals
- …(s) verification, process algebra, security Proposer Julian Bradfield e-mail jcb ext. 505998 Suggested…
- Add To MetaCart
-
A Proof System for Information Flow Security
- … of the Security Process Algebra. The Security Process Algebra (SPA, for short) [10] is a variation of Milner's CCS…
- Cited by 6 (5 self) – Add To MetaCart
Showing 1 through 7.
