Simple Configuration with Encryption

sCwE = motA motB

motA =

{ <X:EncrService | moAtts(A) > o

< A:simpleClientMO | moAtts(A), ready:true,

tasks:L, server:B > }

motB =

{ <Y:EncrService | moAtts(B) > o

< B:simpleServerMO | moAtts(B) > }

Previous slide

Next slide

Back to first slide

View graphic version