Notes on nominal calculi for security and mobility

DOI10.1007/3-540-45608-2_5MaRDI QIDQ4798028zbMATH OpenFDO

Authors Andrew D. Gordon

Publication date 18 March 2003

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL http://link.springer.de/link/service/series/0558/bibs/2171/21710262.htm

Mathematics Subject Classification ID

Other programming paradigms (object-oriented, sequential, concurrent, automatic, etc.) (68N19) Data encryption (aspects in computer science) (68P25)

Recommendations

• Advances in Computing Science – ASIAN 2003. Progamming Languages and Distributed Computation Programming Languages and Distributed Computation
• The Applied Pi Calculus
• A calculus of mobile processes. I
• scientific article; zbMATH DE number 1296290
• Mobile processes: A commented bibliography

Cited in

(12)

• Manipulating trees with hidden labels
• Nominal automata for resource usage control
• Decidability Results for Restricted Models of Petri Nets with Name Creation and Replication
• Mobile processes: A commented bibliography
• Regular and context-free nominal traces
• Trustworthy Global Computing
• Decidability and complexity of Petri nets with unordered data
• Foundations of Software Science and Computational Structures
• Advances in Computing Science – ASIAN 2003. Progamming Languages and Distributed Computation Programming Languages and Distributed Computation
• Foundations of Security Analysis and Design II
• Multiset rewriting for the verification of depth-bounded processes with name binding
• Access control in mobile ambient calculi: a comparative view

This page was built for publication: Notes on nominal calculi for security and mobility

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