An executable object-oriented semantics and its application to firewall verification.
Kenro YatakeTakuya KatayamaPublished in: Softw. Syst. Model. (2011)
Keyphrases
- object oriented
- process algebra
- model checking
- java card
- control flow
- concurrent systems
- definition language
- programming language
- formal specification
- conceptual model
- data model
- asynchronous circuits
- data flow
- intrusion detection
- intrusion detection system
- object oriented data models
- formal methods
- object oriented databases
- multiple inheritance
- query language
- specification language
- attribute grammars
- relational databases
- object oriented database systems
- reverse engineering
- temporal logic
- network traffic
- database design
- database applications
- logic programming
- formal semantics
- database schema
- network security
- epistemic logic
- smart card
- object identity
- verification method
- database
- object oriented concepts