Eliminating network protocol vulnerabilities through abstraction and systems language design.
C. Jasson CaseyAndrew SuttonGabriel Dos ReisAlex SprintsonPublished in: ICNP (2013)
Keyphrases
- building blocks
- design criteria
- highly modular
- design issues
- language learning
- design decisions
- embedded systems
- complex systems
- design process
- engineering design
- information systems
- countermeasures
- formal methods
- high level
- case study
- knowledge based systems
- computer systems
- modeling language
- finite state machines
- control system
- support systems
- human computer interface
- data abstraction
- java programming