A Probabilistic Applied Pi–Calculus

DOI10.1007/978-3-540-76637-7_12MaRDI QIDQ3498438zbMATH OpenOpenAlexFDO

Authors Jean Goubault-Larrecq, Catuscia Palamidessi, Angelo Troina

Publication date 15 May 2008

Published in Programming Languages and Systems (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-540-76637-7_12

Mathematics Subject Classification ID

Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85) Cryptography (94A60)

Recommendations

• Probabilistic -calculus and event structures
• scientific article; zbMATH DE number 1512615
• Behavioural equivalences of a probabilistic pi-calculus
• Symbolic Bisimulation for the Applied Pi Calculus
• Stochastic Pi-calculus Revisited

Cites work

• A calculus for cryptographic protocols: The spi calculus
• A method for obtaining digital signatures and public-key cryptosystems
• A probabilistic polynomial-time process calculus for the analysis of cryptographic protocols
• Axioms for probability and nondeterminism
• CC-Pi: A Constraint-Based Language for Specifying Service Level Agreements
• Deciding knowledge in security protocols under equational theories
• scientific article; zbMATH DE number 42752 (Why is no real title available?)
• scientific article; zbMATH DE number 1231645 (Why is no real title available?)
• scientific article; zbMATH DE number 1296290 (Why is no real title available?)
• scientific article; zbMATH DE number 1142316 (Why is no real title available?)
• scientific article; zbMATH DE number 794262 (Why is no real title available?)
• Initial Algebra Semantics and Continuous Algebras
• Mobile values, new names, and secure communication
• On the security of public key protocols

Cited in

(19)

• Probabilistic mobile ambients
• LOTOS extended with probabilistic behaviours
• Modular verification of protocol equivalence in the presence of randomness
• \(\pi\)-calculus with noisy channels
• Axioms for probability and nondeterminism
• A probabilistic strategy language for probabilistic rewrite theories and its application to cloud computing
• Stochastic Pi-calculus Revisited
• Probabilistic -calculus and event structures
• On a Probabilistic Chemical Abstract Machine and the Expressiveness of Linda Languages
• Behavioural equivalences of a probabilistic pi-calculus
• scientific article; zbMATH DE number 1512615 (Why is no real title available?)
• Trace equivalence and epistemic logic to express security properties
• Probabilistic Analysis of Binary Sessions
• Performance analysis and name passing errors in probabilistic fusion
• Computationally Sound Symbolic Analysis of Probabilistic Protocols with Ideal Setups
• Coordination Models and Languages
• Probabilistic weak bisimulation and axiomatization for probabilistic models
• Strand spaces with choice via a process algebra semantics
• A pure labeled transition semantics for the applied pi calculus

This page was built for publication: A Probabilistic Applied Pi–Calculus

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3498438)