Errors in the real world

Specification errors

• Beginning with an old system and bolting things on

• Mis-using encryption

  • key management

• Underspecification and clarity

• Error handling

Examples

• Taking an existing stored-value system and “Internet”-ing it

• Double and triple encryption

• No use of formalism for protocols

• Exception propagation

Previous slide

Next slide

Back to first slide

View graphic version