Formalizing Active Networks Security with Seal-Calculus.
Xiaojuan ZhengTao XuYing JinPublished in: ISPA (2003)
Keyphrases
- mobile agent system
- access control
- enterprise network
- social networks
- high security
- information security
- heterogeneous networks
- network security
- security issues
- network design
- intrusion detection
- information systems
- security requirements
- security protocols
- database
- security analysis
- key management
- security mechanisms
- computer networks
- smart card
- network structure