16-20/9/2019: SEMIoTICS at NIS 2019

when

$s: Sequence($sId:=id, $pA:=placeholdera, $pB:=placeholderb, $Link:=link)
Property($sId:=subject, category==“Confidentiality”, satisfied==false)

then

if ($pA.hasOperationType(“storeData”)) {

insert(new Property($pA:=subject, category==“EncryptedStorage”, satisfied==false);

}
if ($pA.hasOperationType(“processData”)) {

insert(new Property($pB:=subject, category==“EncryptedProcessing”, satisfied==false);

}
if ($pB.hasOperationType(“storeData”)) {

insert(new Property($pA:=subject, category==“EncryptedStorage”, satisfied==false);

}
if ($pB.hasOperationType(“processData”)) {

insert(new Property($pB:=subject, category==“EncryptedProcessing”, satisfied==false);

}
insert(new Property($Link:=subject, category==“EncryptedChannel”, satisfied==false);

end