Informējam, ka Sistēma pielāgota darbam ar interneta pārlūkprogrammu Internet Explorer (8. un jaunākām versijām) un Mozilla Firefox (3.6 un jaunākām versijām).
Izmantojot citu interneta pārlūkprogrammu, brīdinām, ka Sistēmas funkcionalitāte var tikt traucēta.
<p class="MsoBodyText"><span lang="EN-GB">This document establishes a framework for the verification of cryptographic protocol specifications according to academic and industry best practices.</span></p>
Reģistrācijas numurs (WIID)
78931
Darbības sfēra
<p class="MsoBodyText"><span lang="EN-GB">This document establishes a framework for the verification of cryptographic protocol specifications according to academic and industry best practices.</span></p>