Keyphrases
Attacker
50%
Audit Mechanisms
50%
Automated Tool
50%
Computer Security
50%
Containment
50%
Cost Reduction
50%
Defense-in-depth
50%
Design Space
100%
Dynamic Program Analysis
50%
Education Activities
50%
Formal Policy
50%
High School Students
50%
Interactive Tool
100%
Language Design
50%
Language Validation
50%
Legacy Code
50%
Level of Assurance
50%
Multiple Layers
100%
Performance Tradeoff
50%
Performance-based
50%
Policy Language
50%
Program Transformation
50%
Public Domain
50%
Security Community
50%
Security Enhancement
50%
Security Goals
50%
Security Mechanism
50%
Security Policy
50%
Security-performance Tradeoff
50%
Site-level
50%
Software Developers
50%
Software Development
50%
Software Layer
50%
Software System
50%
Static Analysis
50%
Summer School
50%
Typically Developing
50%
Computer Science
Attackers
50%
Automated Tool
50%
Computer Security
50%
Design Language
50%
Develop Theory
50%
Graduate School
50%
Interactive Tool
100%
Policy Language
50%
Program Transformation
50%
Security Community
50%
security level
50%
Security Mechanism
50%
Security Policy
50%
Software Developer
50%
Software Development
50%
Software Layer
50%
Software Systems
50%
Static Code Analysis
50%