Eliminating Network Protocol Vulnerabilities Through Abstraction and Systems Language Design.
C. Jasson CaseyAndrew SuttonGabriel Dos ReisAlex SprintsonPublished in: CoRR (2013)
Keyphrases
- building blocks
- case study
- engineering design
- highly modular
- natural language
- human computer interface
- support systems
- programming language
- computer systems
- knowledge based systems
- design process
- design criteria
- exception handling
- design issues
- embedded systems
- complex systems
- database
- management system
- learning systems
- conceptual model
- distributed systems
- design decisions
- software engineering
- formal methods
- user interface
- interactive systems
- high level
- artificial intelligence
- information retrieval