Automated Protocol Specialization and Diversification for Individualized Defense
Abstract
Automated Protocol Specialization and Diversification for Individualized DefenseThe evolution of protocols invariably leads to greater complexity and thus larger attack surface. We propose a first principles approach to addressing this problem by building specialized individualized defenses. Our methodology for realizing such defenses comprises of the following steps: (i) automated specification mining from RFCs, protocol analyzers and protocol traces; (ii)specification-implementation binding using dependency analysis; (iii) protocol debloating using program slicing and (iv) protocol alteration to generate protocol dialects. Our team includes PIs from four institutions with diverse expertise in program analysis, formal methods, system security and network security.
Document Details
- Document Type
- DoD Grant Award
- Publication Date
- Jul 26, 2018
- Source ID
- N000141812660
Entities
People
- Long Lu
Organizations
- Northeastern University
- Office of Naval Research
- United States Navy