A framework for security analysis of mobile wireless networks

DOI10.1016/j.tcs.2006.08.036zbMath1153.68322OpenAlexW2135892629WikidataQ115036555 ScholiaQ115036555MaRDI QIDQ860908

Sebastian Nanz, Chris Hankin

Publication date: 9 January 2007

Published in: Theoretical Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.tcs.2006.08.036

zbMATH Keywords

mobile ad hoc networksprocess calculisecurity analysiscontrol flow analysis

Mathematics Subject Classification ID

Network design and communication in computer systems (68M10) Data encryption (aspects in computer science) (68P25) Network protocols (68M12) Authentication, digital signatures and secret sharing (94A62)

Related Items

Model checking mobile ad hoc networks, Mechanizing a process algebra for network protocols, Modelling and verifying the AODV routing protocol, A framework for security analysis of mobile wireless networks, Modeling and efficient verification of wireless ad hoc networks, Depletable channels: dynamics, behaviour, and efficiency in network design, Psi-calculi revisited: connectivity and compositionality, A semantic theory of the Internet of things, A timed calculus for wireless systems, Modeling and verifying ad hoc routing protocols, A calculus of trustworthy ad hoc networks, A theory of system behaviour in the presence of node and link failure, A monotone framework for CCS, An operational semantics for a calculus for wireless systems, A Calculus for Mobile Ad-hoc Networks with Static Location Binding, From flow logic to static type systems for coordination languages, A process calculus for mobile ad hoc networks, Verification of Correspondence Assertions in a Calculus for Mobile Ad Hoc Networks, Static analysis of topology-dependent broadcast networks, Unnamed Item, Modeling and analyzing mobile ad hoc networks in Real-Time Maude, Characterising Testing Preorders for Broadcasting Distributed Systems, An observational theory for mobile ad hoc networks (full version), Broadcast Psi-calculi with an Application to Wireless Protocols, Unnamed Item, Formal models and analysis of secure multicast in wired and wireless networks, An Observational Theory for Mobile Ad Hoc Networks, A Prospectus for Mobile Broadcasting Systems

Uses Software

• HOL/SPIN
• Succinct

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• A framework for security analysis of mobile wireless networks
• A calculus for cryptographic protocols: The spi calculus
• Mobile ambients
• Formal verification of standards for distance vector routing protocols
• Mobile values, new names, and secure communication
• Tools and Algorithms for the Construction and Analysis of Systems
• Formal Techniques for Networked and Distributed Systems – FORTE 2004
• Static Analysis
• Global Computing. Programming Environments, Languages, Security, and Analysis of Systems