A Calculus for Distributed Firewall Specification and Verification.
Liviu PeneKamel AdiPublished in: SoMeT (2006)
Keyphrases
- concurrent systems
- distributed systems
- formal verification
- transition systems
- java card
- process algebra
- distributed environment
- cooperative
- computer networks
- peer to peer
- network traffic
- formal methods
- distributed data
- multi agent
- provably correct
- intrusion detection system
- face verification
- asynchronous circuits
- specification language
- smart card
- intrusion detection
- algebraic structure
- database
- protocol specification
- formal specification
- mobile agents
- computer systems
- high level
- data mining
- neural network