×

Found 16 Documents (Results 1–16)

Newest Citations Relevance
Aubert, Clément; Horne, Ross; Johansen, Christian

Diamonds for security: a non-interleaving operational semantics for the applied \(\pi\)-calculus. (English) Zbl 07896563

Klin, Bartek (ed.) et al., 33rd international conference on concurrency theory, CONCUR 2022, Warsaw, Poland, September 12–16, 2022. Wadern: Schloss Dagstuhl – Leibniz-Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 243, Article 30, 26 p. (2022).
MSC:  68Q85
Cite Review PDF
Full Text: DOI
Minami, Kiraku

Trace equivalence and epistemic logic to express security properties. (English) Zbl 1511.68185

Gotsman, Alexey (ed.) et al., Formal techniques for distributed objects, components, and systems. 40th IFIP WG 6.1 international conference, FORTE 2020, held as part of the 15th international federated conference on distributed computing techniques, DisCoTec 2020, Valletta, Malta, June 15–19, 2020. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12136, 115-132 (2020).
MSC:  68Q85 03B42 03B70
Cite Review PDF
Full Text: DOI arXiv
Dreier, Jannik; Ene, Cristian; Lafourcade, Pascal; Lakhnech, Yassine

On unique decomposition of processes in the applied \(\pi\)-calculus. (English) Zbl 1260.68265

Pfenning, Frank (ed.), Foundations of software science and computation structures. 16th international conference, FOSSACS 2013, held as part of the European joint conferences on theory and practice of software, ETAPS 2013, Rome, Italy, March 16–24, 2013. Proceedings. Berlin: Springer (ISBN 978-3-642-37074-8/pbk). Lecture Notes in Computer Science 7794, 50-64 (2013).
MSC:  68Q85
Cite Review PDF
Full Text: DOI
Delaune, Stéphanie; Kremer, Steve; Pereira, Olivier

Simulation based security in the applied pi calculus. (English) Zbl 1250.94035

Kannan, Ravi (ed.) et al., IARCS annual conference on foundations of software technology and theoretical computer science (FSTTCS 2009), December 15–17, 2009, Kanpur, India. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik (ISBN 978-3-939897-13-2). LIPIcs – Leibniz International Proceedings in Informatics 4, 169-180, electronic only (2009).
MSC:  94A60 94A62 03B70
Cite Review PDF
Full Text: DOI Link
Zălinescu, Eugen; Cortier, Véronique; Rusinowitch, Michaël

Relating two standard notions of secrecy. (English) Zbl 1247.94030

Autexier, Serge (ed.) et al., Workshop on trustworthy software. Selected papers based on the presentations at the workshop, May 18–19, 2006, Saarbrücken, Germany. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik (ISBN 978-3-939897-02-6). OASIcs – OpenAccess Series in Informatics 3, 29 p., electronic only (2006).
MSC:  94A60 68P30
Cite Review PDF
Full Text: DOI

Filter Results by …

Document Type

all top 5

Author

all top 5

Serial

all top 5

Year of Publication

Main Field

all top 3

Software