A Probabilistic Applied Pi–Calculus (Q3498438)

From MaRDI portal

Jump to:navigation, search

scientific article

Language	Label	Description	Also known as
English	A Probabilistic Applied Pi–Calculus	scientific article

Statements

scholarly article

0 references

A Probabilistic Applied Pi–Calculus (English)

0 references

Jean Goubault-Larrecq

0 references

Catuscia Palamidessi

0 references

0 references

Programming Languages and Systems

0 references

publication date

15 May 2008

0 references

MaRDI profile type

MaRDI publication profile

0 references

full work available at URL

https://doi.org/10.1007/978-3-540-76637-7_12

0 references

Mobile values, new names, and secure communication

0 references

A calculus for cryptographic protocols: The spi calculus

0 references

CC-Pi: A Constraint-Based Language for Specifying Service Level Agreements

0 references

Deciding knowledge in security protocols under equational theories

0 references

0 references

On the security of public key protocols

0 references

Initial Algebra Semantics and Continuous Algebras

0 references

0 references

0 references

0 references

0 references

A probabilistic polynomial-time process calculus for the analysis of cryptographic protocols

0 references

A method for obtaining digital signatures and public-key cryptosystems

0 references

0 references

Identifiers

zbMATH Open document ID

0 references

10.1007/978-3-540-76637-7_12

0 references

Mathematics Subject Classification ID

0 references

0 references

zbMATH DE Number

0 references

0 references

Sitelinks

Mathematics(1 entry)

mardi Publication:3498438

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Item:Q3498438&oldid=35055952"