Abstrakt. Vi föreslår en epistemisk logik för den tillämpade pi-kalkylen, som är en variant av pi-kalkylen med tillägg för modellering av kryptografiska protokoll. I en sådan beräkning anges säkerhetsgarantierna vanligen som likvärdiga. Medan processkalkyl ger ett naturligt sätt att beskriva protokollen själva, epistemiska logiker är ofta bättre lämpade för att uttrycka vissa säkerhetsegenskaper såsom sekretess och anonymitet. Vi har för avsikt att överbrygga klyftan mellan dessa två metoder: att använda den uppsättning spår som genereras av en process som modeller, vi definierar en logik som har konstruerat för resonemang om både inkräktarens epistemiska kunskap och den uppsättning meddelanden i besittning av inkräktaren. Som exempel kan nämnas två formaliseringar av privatlivet i elektronisk röstning och studera förhållandet mellan dem.
I termer av relaterade logiker, Kremer et al. REF har föreslagit en epistemisk logik för de tillämpade π-kalculus.
Epistemic Logic for the Applied Pi Calculus ⋆
{'venue': 'FMOODS/FORTE', 'journal': None, 'mag_field_of_study': ['Computer Science']}