Example: Encryption Service

Encrypt:

<X:EncrService | up:(B<-M).cL, out:cL’, base:A >

=>

<X:EncrService | up:cL, out:cL’.(B<-{A,M}pk(B)), base:A >

Decrypt:

<X:EncrService | in:{B,M}PK.cL, down:cL’, base:A >

=>

if keypair(PK,sk(A))

then < X:EncrService | in:cL, down:cL’.M, base:A >

else < X:EncrService | in:cL, down:cL’, base:A >

Previous slide

Next slide

Back to first slide

View graphic version