Scope – Semiotics

SEMIoTICS main scope aims to develop a pattern-driven framework, built upon existing IoT platforms, to enable and guarantee secure and dependable actuation and semi-autonomic behaviour in IoT/IIoT applications. The SEMIoTICS framework will support cross-layer intelligent dynamic adaptation, including heterogeneous smart objects, networks and clouds. To address the complexity and scalability needs within horizontal and vertical domains, SEMIoTICS will develop and integrate smart programmable networking and semantic interoperability mechanisms. The above will be validated by industry, using three diverse usage scenarios in the areas of renewable energy, healthcare, and smart sensing and will be offered through an open API.

rule “Confidentiality – Sequence”

$s: Sequence($sId:=id, $pA:=placeholdera, $pB:=placeholderb, $Link:=link)

Property($sId:=subject, category==“Confidentiality”, satisfied==false)

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);

rule “Integrity – Sequence”

$s: Sequence($sId:=id, $pA:=placeholdera, $pB:=placeholderb, $Link:=link)

Property($sId:=subject, category==“Integrity”, satisfied==false)

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

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

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

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

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

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

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

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

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

rule “Availability – Sequence”

$s: Sequence($sId:=id, $pA:=placeholdera, $pB:=placeholderb, $Link:=link)

Property($sId:=subject, category==“Availability”, satisfied==false)

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

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

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

rule ” Signed Message Verification – Sequence”

$P1: Placeholder($pl1:=placeholderid)

$P2: Placeholder($pl2:=placeholderid)

$OP: Operation(($pl1:=subject, operationType==”SignMessage”)

$OP: Operation(($pl2:=subject, operationType==”VerifyMessage”)

$ORCH: Sequence ($seq:=placeholderid, $pl1:=placeholdera, $pl2:=placeholderb)

$PR: Property ($seq:=subject, category==“SignedMessage”, satisfied==false)

modify($PR){satisfied=true};

rule ” SignedMessage Verification with Certificate #1 – Placeholder”

$P1: Placeholder($pl1:=placeholderid)

$Op: Operation($pl1:=subject, name==” SignMessage “)

$PR: Property ($pl1:=subject, category == “SignedMessage”, verificationType == “Certificate”, $vermeans := means, satisfied==false)

if ($PR.checkCertificate($vermeans)){

modify($PR){satisfied=true};

rule ” SignedMessage Verification with Certificate #2 – Placeholder”

$P1: Placeholder($pl1:=placeholderid)

$Op: Operation($pl1:=subject, name==“StegoRetrieve”)

$PR: Property ($pl1:=subject, category == “SignedMessage”, verificationType == “Certificate”, $vermeans := means, satisfied==false)

if ($PR.checkCertificate($vermeans)) {

modify($PR){satisfied=true};

rule ” Audit Log Verification – Sequence”

$P1: Placeholder($pl1:=placeholderid)

$P2: Placeholder($pl2:=placeholderid)

$OP: Operation(($pl2:=subject, operationType==”AuditLog”)

$ORCH: Sequence ($seq:=placeholderid, $pl1:=placeholdera, $pl2:=placeholderb)

$PR: Property ($seq:=subject, category==“AuditLog”, satisfied==false)

modify($pr2){satisfied=true};

rule ” Audit Log Verification with Certificate – Placeholder”

$P1: Placeholder($pl1:=placeholderid)

$Op: Operation($pl1:=subject, name==” Audit Log “)

$PR: Property ($pl1:=subject, category == “AuditLog”, verificationType == “Certificate”, $vermeans := means, satisfied==false)

if ($PR.checkCertificate($vermeans)) {

modify($PR){satisfied=true};

rule “Authorisation – Sequence”

$s: Sequence($sId:=id, $pA:=placeholdera, $pB:=placeholderb, $Link:=link)

Property($sId:=subject, category==“Authorisation”, satisfied==false)

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

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

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

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

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

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

rule “Authentication – Sequence”

$s: Sequence($sId:=id, $pA:=placeholdera, $pB:=placeholderb, $Link:=link)

Property($sId:=subject, category==“Authentication”, satisfied==false)

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

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

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

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

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

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

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

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

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

rule “Anonymisation – Sequence”

$P1: Placeholder($pl1:=placeholderid)

$P2: Placeholder($pl2:=placeholderid)

$PR1: Property($pl2:=subject, category==“Anonymity”, satisfied==true)

$P3: Placeholder($pl3:=placeholderid)

$s1: Sequence($sid1:=id, $pID1:=placeholderA, $pID2:=placeholderB)

$s2: Sequence($sid2:=id, $sID1:=placeholderA, $pID3:=placeholderB)

$PR2: Property($sID2:=subject, category==“Anonymity”, satisfied==false)

modify($PR2){satisfied=true};

rule “Anonymisation Verification with Certificate – Placeholder”

$P1: Placeholder($pID:=placeholderID)

$OP: Operation($opID:=operationID, $pID:=subject, operationType==“Anonymise”)

$PR: Property ($pID:=subject, category==“Anonymity”, verificationType == “Certificate”, $vermeans := means, satisfied==false)

if ($PR.checkCertificate($vermeans)) {

modify($PR){satisfied=true};

rule ” Pseudonymisation – Sequence”

$P1: Placeholder($pl1:=placeholderid)

$P2: Placeholder($pl2:=placeholderid)

$PR1: Property($pl2:=subject, category==“Pseudonymity”, satisfied==true)

$P3: Placeholder($pl3:=placeholderid) $s1: Sequence($sid1:=id, $pID1:=placeholderA, $pID2:=placeholderB)

$s2: Sequence($sid2:=id, $sID1:=placeholderA, $pID3:=placeholderB) $PR2: Property($sID2:=subject, category==“Pseudonymity”, satisfied==false)

modify($PR2){satisfied=true};

rule “Pseudonymisation Verification with Certificate – Placeholder”

$P1: Placeholder($pID:=placeholderID)

$OP: Operation($opID:=operationID, $pID:=subject, operationType==“Pseudonymise”)

$PR: Property ($pID:=subject, category==“Pseudonymity”, verificationType == “Certificate”, $vermeans := means, satisfied==false)

if ($PR.checkCertificate($vermeans)) {

modify($PR){satisfied=true};

rule “Pseudonymisation – Sequence”

$P1: Placeholder($pl1:=placeholderid)

$P2: Placeholder($pl2:=placeholderid)

$PR1: Property($pl2:=subject, category==“Unlinkability”, satisfied==true)

$P3: Placeholder($pl3:=placeholderid)

$s1: Sequence($sid1:=id, $pID1:=placeholderA, $pID2:=placeholderB)

$s2: Sequence($sid2:=id, $sID1:=placeholderA, $pID3:=placeholderB)

$PR2: Property($sID2:=subject, category==“Unlinkability”, satisfied==false)

modify($PR2){satisfied=true};

rule “Unlinkability Verification with Certificate – Placeholder”

$P1: Placeholder($pID:=placeholderID)

$OP: Operation($opID:=operationID, $pID:=subject, operationType==“CoverTrafficGeneration”)

$PR: Property ($pID:=subject, category==“Unlinkability”, verificationType == “Certificate”, $vermeans := means, satisfied==false)

if ($PR.checkCertificate($vermeans)) {

modify($PR){satisfied=true};

rule ” Single Access Point Verification – Sequence”

$P1: Placeholder($pl1:=placeholderid)

$P2: Placeholder($pl2:=placeholderid)

$OP: Operation(($pl1:=subject, operationType==”StegoEmbed”)

$OP: Operation(($pl2:=subject, operationType==”StegoRetrieve”)

$ORCH: Sequence ($seq:=placeholderid, $pl1:=placeholdera, $pl2:=placeholderb)

$PR: Property ($seq:=subject, category==“Undetectability”, satisfied==false)

modify($pr2){satisfied=true};

rule “Undetectability Verification with Certificate #1 – Placeholder”

$P1: Placeholder($pl1:=placeholderid)

$Op: Operation($pl1:=subject, name==“StegoEmbed”)

$PR: Property ($pl1:=subject, category == “Undetectability”, verificationType == “Certificate”, $vermeans := means, satisfied==false)

if ($PR.checkCertificate($vermeans)) {

modify($PR){satisfied=true};

rule “Undetectability Verification with Certificate #2 – Placeholder”

$P1: Placeholder($pl1:=placeholderid)

$Op: Operation($pl1:=subject, name==“StegoRetrieve”)

$PR: Property ($pl1:=subject, category == “Undetectability”, verificationType == “Certificate”, $vermeans := means, satisfied==false)

if ($PR.checkCertificate($vermeans)) {

modify($PR){satisfied=true};

rule “Redundancy Verification”

$p1: Placeholder($pID1:=placeholderID)

$p2: Placeholder($pID2:=placeholderID, $placeholerType1:=type)

$p3: Placeholder($pID3:=placeholderID, $placeholerType2:=type, $placeholerType1==$placeholerType2)

$ch: Choice($chID:=id, $ pID1:=placeholderA, $pID2:=placeholderB, $pID3:=placeholderC)

$pr: Property($chID:=subject, category==“Redundancy”, satisfied==false)

modify($pr2){satisfied=true};

rule ” Fault Management – Sequence”

$P1: Placeholder($pl1:=placeholderid)

$P2: Placeholder($pl2:=placeholderid)

$ORCH: Sequence ($seq:=placeholderid, $pl1:=placeholdera, $pl2:=placeholderb)

$PR: Property ($seq:=subject, category==“FaultManagement”, satisfied==false)

insert(new Property($P1, “FaultManagement”, false));

insert(new Property($P2, “FaultManagement”, false));

rule ” Fault Management Verification with Certificate – Link”

$P: Placeholder($Id:=placeholderID)

$PR: Property ($Id:=subject, category == “FaultManagement”, verificationType == “Certificate”, $vermeans := means, satisfied==false)

if ($PR.checkCertificate($vermeans)) {

modify($PR){satisfied=true};

rule “Sequence Technical Interoperability Verification”

Placeholder($pA:=placeholderid)

Property ($pA:=subject, category==“technical”, $prvaluein1:=input_value, $prvalueout1:=output_value, satisfied==true)

Placeholder($pB:=placeholderid)

Property ($pB:=subject, category==“technical”, $prvaluein2:=input_value, $prvalueout2:=out_value, satisfied==true)

Sequence($sId:=placeholderid, $pA:=placeholdera, $pB:=placeholderb)

$PR: Property ($sId:=subject, category==“technical”, $prvalueout1==$prvaluein2, satisfied==false)

modify($PR){satisfied=true, input_value=$prvaluein1, output_value=$prvalueout2};

rule “Sequence Syntactic Interoperability Verification”

Placeholder($pA:=placeholderid)

Property ($pA:=subject, category==“dataFormat”, $prvaluein1:=input_value, $prvalueout1:=output_value, satisfied==true)

Placeholder($pB:=placeholderid)

Property ($pB:=subject, category==” dataFormat “, $prvaluein2:=input_value, $prvalueout2:=out_value, satisfied==true)

Sequence($sId:=placeholderid, $pA:=placeholdera, $pB:=placeholderb)

$PR: Property ($sId:=subject, category==” dataFormat “, $prvalueout1==$prvaluein2, satisfied==false)

modify($PR){satisfied=true, input_value=$prvaluein1, output_value=$prvalueout2};

rule “Sequence Semantic Interoperability Verification”

Placeholder($pA:=placeholderid)

Property ($pA:=subject, category==“semantic”, $prvaluein1:=input_value, $prvalueout1:=output_value, satisfied==true)

Placeholder($pB:=placeholderid)

Property ($pB:=subject, category==“semantic”, $prvaluein2:=input_value, $prvalueout2:=out_value, satisfied==true)

Sequence($sId:=placeholderid, $pA:=placeholdera, $pB:=placeholderb)

$PR: Property ($sId:=subject, category==“semantic”, $prvalueout1==$prvaluein2, satisfied==false)

modify($PR){satisfied=true, input_value=$prvaluein1, output_value=$prvalueout2};

rule “Sequence Organisational Interoperability Verification”

Placeholder($pA:=placeholderid)

Property ($pA:=subject, category==“Organisational “, $prvaluein1:=input_value, $prvalueout1:=output_value, satisfied==true)

Placeholder($pB:=placeholderid)

Property ($pB:=subject, category==“Organisational “, $prvaluein2:=input_value, $prvalueout2:=out_value, satisfied==true)