Amanote Research
Register
Sign In
Modeling and Verifying Physical Properties of Security Protocols for Wireless Networks
doi 10.1109/csf.2009.6
Full Text
Open PDF
Abstract
Available in
full text
Date
July 1, 2009
Authors
Patrick Schaller
Benedikt Schmidt
David Basin
Srdjan Capkun
Publisher
IEEE
Related search
Security Analysis of Reliable Transport Layer Protocols for Wireless Sensor Networks
Verifying Security Protocols as Planning in Logic Programming
ACM Transactions on Computational Logic
Computational Mathematics
Theoretical Computer Science
Computer Science
Logic
Verifying Properties of Neural Networks
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Modeling Wireless Links for Transport Protocols
Computer Communication Review
Computer Networks
Software
Communications
Modeling of Collision Avoidance Protocols in Single-Channel Multihop Wireless Networks
Comparative Analysis of Wireless Security Protocols and Issues
International Journal of Trend in Scientific Research and Development
Wireless Physical Layer Security
Proceedings of the National Academy of Sciences of the United States of America
Multidisciplinary
Routing Protocols for Wireless Sensor Networks: A Survey
International Journal of Computer Applications
Congestion Control Protocols for Wireless Multimedia Sensor Networks
International Journal of Science and Research (IJSR)
