Types for security in a mobile world

Keyphrases

• Transition Semantics 100%
• Security Issues 50%
• Calculus 50%
• Reconfigurable 50%
• Type Systems 50%
• Security Violation 50%
• Information Exchange 50%
• Academic Community 50%
• Security Policy 50%
• Ambient Calculus 50%
• Ambient Control 50%
• Access Control Mechanism 50%
• Privileged Access 50%
• Dynamic Security 50%
• Security Check 50%
• Nested Structure 50%
• Mobile Environment 50%
• Access Policy 50%
• Role-based Access Control 50%
• Communication Ports 50%
• Static Type Systems 50%
• Process Owner 50%

Computer Science

• Type Systems 100%
• Security Problem 50%
• Security Violation 50%
• Security Policy 50%
• Access Control Policies 50%
• Mobile Environment 50%
• Role-Based Access Control 50%
• Access Privilege 50%
• Academic Community 50%