Wyniki wyszukiwania dla: ORIENTACJA OBIEKTOWA

• An integrated framework for security protocol analysis

  Publikacja

  • M. (. Olszewski
  • Ł. Cyra

  - Rok 2008

  Assurance of security protocols needs particular attention. Flaws in a protocol can devastate security of the applications that rely on it. Analysis of the protocols is difficult and it is recommended that formal methods are employed to provide for higher levels of assurance. However, the formal methods can cover only a part of the scope of the problem. It is important that the formal models are valid representations of the protocol...