Next:
Summary
Up:
Current Research
Previous:
References
Contents
Project: Analysis and Models for Secure Systems and for Biological Systems
Subsections
Summary
Background
Ongoing research
Short term plans and expected results
Long term plans
Personnel and External Researchers
References
Maria Simi 2006-10-23
