Search results for: ORIENTACJA OBIEKTOWA - Bridge of Knowledge

Search results for: ORIENTACJA OBIEKTOWA

results on page:
embed this view on your website

Found little results, maybe try searching with alternative method.

Filters

total: 1

clear all filters disabled

An integrated framework for security protocol analysis
Publication
- M. (. Olszewski
- Ł. Cyra
- Year 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...