A framework for security analysis of mobile wireless networks

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

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 networks; process calculi; security analysis; control flow analysis

Mathematics Subject Classification ID

68M10: Network design and communication in computer systems

68P25: Data encryption (aspects in computer science)

68M12: Network protocols

94A62: Authentication, digital signatures and secret sharing

Related Items

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

Uses Software

Cites Work