SPI計算

concurrent

2020-10-08

$M_N$: key NでMで暗号化した文章
case $L$ of $x_N$ in $P$: process, $N$: shared key

$M+$: pubkey, $M-$: prikey

• $\{[M]{\}}_N$: 公開鍵で暗号化

• $[\{M\}{]}_N$: 秘密鍵で署名

• 認証 authentication: 人を確かめる

• 認可 authorization: 機械に権限を与える

• 時間の進みはどうやって表すの

  • 発展: applied pi calculus