Rule-based Programming in Java For Protocol Verification.
Horatiu CirsteaPierre-Etienne MoreauAntoine ReillesPublished in: WRLA (2004)
Keyphrases
- programming language
- cryptographic protocols
- lightweight
- protocol specification
- development environment
- model checker
- formal analysis
- object oriented programming
- model checking
- programming concepts
- byte code
- oracle pl sql
- programming skills
- java programming
- object oriented design
- advanced features
- formal proof
- expert systems
- formal verification
- open source
- colored petri nets
- object oriented
- programming environment
- formal specification
- java card
- general purpose
- source code
- database programming
- communication protocols
- java bytecode
- formal methods
- data driven
- java virtual machine
- program code
- database applications
- rule base
- high level
- relational databases
- web applications
- database management systems
- development tools
- rule based systems
- mobile agent system
- database driven
- web services
- communication protocol