Read our cookies policy and privacy statement for more information.
×Tampa, Florida•
Introduction to research in foundations of software security. Basic static and dynamic enforcement of security policies. Roles and meanings of policies, properties, mechanisms, and enforcement. Language-based security and tools for specifying security.
Units: 3.0