A Formal-Specification Based Approach for Protecting the Domain Name System.
Steven CheungKarl N. LevittPublished in: DSN (2000)
Keyphrases
- formal specification
- specification languages
- model checking
- specification language
- data abstraction
- process algebra
- object oriented design
- formal methods
- reverse engineering
- model checker
- software components
- protocol specification
- access control
- cooperative
- concurrent systems
- case study
- relational databases
- expert systems
- design methodologies
- real world
- grid workflow
- database