Mechanizing the Metatheory of the ReWire Language with Applications to Code Vulnerability
Abstract
The proposal addresses research effort on secure cross-layer adaptive networking with specific focus on Medium Access Control (MAC) layer protocols and its resiliency to identify abnormal behaviors resulting from the cyber-attacks. The areas of research focus are D (Modern Mobile and Wireless Communications Systems Security), items 2 (Wireless Security Protocols) and 3 (Next Generation Wireless Networks & Components). This research project intends to investigate and develop models to evaluate the security and robustness of the multi-user heterogeneous networks and their performance at the physical, medium access and routing layers of the architecture in the presence of interference and cyber-attacks.
Document Details
- Document Type
- DoD Grant Award
- Publication Date
- May 20, 2016
- Source ID
- N00173161G005
Entities
People
- Bijan Jabbari
Organizations
- United States Naval Research Laboratory
- United States Navy