Policy
Driven Secure Distributed Collaboration
Groupware
Security,
Collaboration
Policy Specification,
Role
Based Security,
Security Policy Specification and Verification,
Applications of Finite-State Based Model Checking,
Security in Pervasive Computing,
Mobile Agent Security,
Network
Monitoring,
Mobile
Objects/Agents,
Network
and Distributed Systems
