rule “Confidentiality – Sequence”
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