Pages that link to "Item:Q860908"

The following pages link to A framework for security analysis of mobile wireless networks (Q860908):

Displayed 28 items.

• Mechanizing a process algebra for network protocols (Q287372) ‎ (← links)
• Modelling and verifying the AODV routing protocol (Q324632) ‎ (← links)
• Modeling and verifying ad hoc routing protocols (Q462483) ‎ (← links)
• A calculus of trustworthy ad hoc networks (Q470043) ‎ (← links)
• A timed calculus for wireless systems (Q650891) ‎ (← links)
• Modeling and analyzing mobile ad hoc networks in Real-Time Maude (Q730472) ‎ (← links)
• A framework for security analysis of mobile wireless networks (Q860908) ‎ (← links)
• A theory of system behaviour in the presence of node and link failure (Q939442) ‎ (← links)
• An operational semantics for a calculus for wireless systems (Q964487) ‎ (← links)
• From flow logic to static type systems for coordination languages (Q967521) ‎ (← links)
• A process calculus for mobile ad hoc networks (Q967528) ‎ (← links)
• An observational theory for mobile ad hoc networks (full version) (Q1012124) ‎ (← links)
• Formal models and analysis of secure multicast in wired and wireless networks (Q1040779) ‎ (← links)
• Modeling and efficient verification of wireless ad hoc networks (Q1688557) ‎ (← links)
• A semantic theory of the Internet of things (Q1706144) ‎ (← links)
• A monotone framework for CCS (Q1749243) ‎ (← links)
• Static analysis of topology-dependent broadcast networks (Q2266988) ‎ (← links)
• Model checking mobile ad hoc networks (Q2363813) ‎ (← links)
• Depletable channels: dynamics, behaviour, and efficiency in network design (Q2422775) ‎ (← links)
• Characterising Testing Preorders for Broadcasting Distributed Systems (Q2811926) ‎ (← links)
• Broadcast Psi-calculi with an Application to Wireless Protocols (Q3095234) ‎ (← links)
• (Q4553277) ‎ (← links)
• (Q5141619) ‎ (← links)
• A Calculus for Mobile Ad-hoc Networks with Static Location Binding (Q5170671) ‎ (← links)
• Verification of Correspondence Assertions in a Calculus for Mobile Ad Hoc Networks (Q5179206) ‎ (← links)
• An Observational Theory for Mobile Ad Hoc Networks (Q5262943) ‎ (← links)
• A Prospectus for Mobile Broadcasting Systems (Q5262975) ‎ (← links)
• Psi-calculi revisited: connectivity and compositionality (Q6190177) ‎ (← links)