Long term technologies

• Proof-carrying code

• The “neumann” architecture

• Formal methods for configuration control and composition

• Fault tolerance mechanisms

• Transaction oriented architecture

• Code signing (legal)

• Static analysis

• System-level analysis

• Reverse engineering

• Massively parallel dynamic analysis

• Tainting++

• Interface specification with least privilege

Previous slide

Next slide

Back to first slide

View graphic version