Hunting Distributed Malware with the κ-Calculus

DOI10.1007/978-3-642-22953-4_9zbMath1342.68078OpenAlexW68683401MaRDI QIDQ3088273

Cinzia Di Giusto, Mila Dalla Preda

Publication date: 19 August 2011

Published in: Fundamentals of Computation Theory (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-642-22953-4_9

Mathematics Subject Classification ID

Epidemiology (92D30) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Mobile ambients
• Formal molecular biology
• Process algebra for synchronous communication
• Brane Calculi

This page was built for publication: Hunting Distributed Malware with the κ-Calculus