NRL Protocol Analyzer, cont’d

• Features

  • Can specify message field lengths
  • Uses sequence numbers for nonces and session discrimination
  • Auxiliary analysis of “unreachable languages” can be used to prove secrecy

• Significant accomplishment: found attack on Simmons’ selective broadcast protocol [Mea92].

  This protocol was Simmons’ fix to an earlier protocol
  

• Currently in use; updated interface; ask Meadows for course

Previous slide

Next slide

Back to first slide

View graphic version