Example: Dynamic Encryption

createWithEncr:

<X:EncrDService | newCnt:n, up:T.cL, out:cL’ >

=>

<X:EncrDService | newCnt:n+1, up:cL,

out:cL’.addMO(newId(n,X),EncrDService,newCnt:0,T)) >

Previous slide

Next slide

Back to first slide

View graphic version