Logika složení protokolu - Protocol composition logic

Logika složení protokolu je formální metoda, která se používá k prokázání bezpečnostních vlastností používaných protokolů symetrický klíč a Kryptografie veřejného klíče. PCL je navržen kolem a zpracovat kalkul s akcemi pro možné kroky protokolu, jako je generování náhodného čísla, provádění šifrování a dešifrování, odesílání a přijímání zpráv a digitální podpis ověřovací akce.

Byly nalezeny určité problémy s logikou, z nichž vyplývá, že některé aktuálně nárokované důkazy nelze v rámci logiky prokázat.[1]

externí odkazy

Reference

  1. ^ Cremers, Cas (2008), „On the Protocol Composition Logic PCL“, Sborník sympozia ACM 2008 o informační, počítačové a komunikační bezpečnosti - ASIACCS '08, str. 66, arXiv:0709.1080, doi:10.1145/1368310.1368324, ISBN  9781595939791, S2CID  7618247