A framework for security analysis of mobile wireless networks
From MaRDI portal
Publication:860908
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
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
- 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
- Unnamed Item
- Unnamed Item
- Unnamed Item