Publications – Semiotics

Book Chapters

“Pattern-driven Security, Privacy, Dependability and Interoperability in IoT“, Petroulakis N., Fysarakis K., Pöhls H. C., Kulkarni V., Spanoudakis G, Bröring A., Papoutsakis M., Michalodimitrakis M., Ioannidis S., book chapter in “Security Risk Management for the Internet of Things: Technologies and Techniques for IoT Security, Privacy and Data Protection”, June 2020.
“Service Chaining Using Software‐Defined Networks“, Petroulakis, N., Fysarakis, K., Miaoudakis, A., Ramantas, K., Chatziadam, P. and Verikoukis, C., book chapter In Wiley 5G Ref (eds R. Tafazolli, C.‐L. Wang and P. Chatzimisios), December 2019.
“IoT european security and privacy projects: Integration, architectures and interoperability“, Ferrera E., Pastrone C., Brun P.E., De Besombes R., Loupos K., Kouloumpis G., O’Sullivan P., Papageorgiou A., Katsoulakos P., Karakostas B., Mygiakis A., Stratigaki C., Caglayan B., Starynkevitch B., Skoufis C., Christofi S., Ferry N., Song H., Solberg A., Matthews P., Skarmeta A.F., Santa J., Beliatis M.J., Presser M.A., Parreira J.X., Martínez J.A., Barnaghi P., Enshaeifar S., Iggena T., Fischer M., Tönjes R., Strohbach M., Sforzin A., Truong H., Soldatos J., Efremidis S., Koutalieris G., Gouvas P., Neises J., Hatzivasilis G., Askoxylakis I., Kulkarni V., Broering A., Dober D., Ramantas K., Verikoukis C., Posegga J. Presenza D., Spanoudakis G., Pau D., Gelenbe E., Nowak S., Nowak M., Czachórski T., Domańska J., Drosou A., Tzovaras D., Elo T., Paavolainen S., Lagutin D., Leligou H.C., Trakadas P. and Polyzos G.C., in Next Generation Internet of Things: Distributed Intelligence at the Edge and Human Machine-to-Machine Cooperation, River Publishers, pp. 207-292. October 2018. ISBN 978-87-7022-008-8.

Journals & Conferences

2020

“Intelligent Heterogeneous Embedded Sensors with SPDI guarantees: Bringing AI to the edge in IoT“, Falchetto M., Pau D., Fysarakis K., Ramantas K., Serra J. , Sanabria-Russo L. , Verikoukis Ch., IEEE Internet of Things Magazine (In preparation).
“Defining IoT Orchestrations with Security and Privacy by Design: A Gap Analysis“, Papoutsakis M., Fysarakis K., Spanoudakis G., Ioannidis S., IEEE Internet of Things Magazine (Accepted).
“CURATE: On-Demand Orchestration of Services for Health Emergencies Prediction and Mitigation,” Sanabria-Russo L., Serra J., Pubill D., Verikoukis C. Accepted for publication in IEEE Journal on Selected Areas in Communications, November 2020.
“A Pattern–Driven Adaptation in IoT Orchestrations to Guarantee SPDI Properties“, Papoutsakis M., Fysarakis K., Michalodimitrakis E., Lakka E., N. Petroulakis, Spanoudakis G., Ioannidis S., 2nd Model-Driven Simulation and Training Environments for Cybersecurity (MSTEC), co-located with the European Symposium on Research in Computer Security (ESORICS), Guildford, UK, 17 Sept. 2020.
“Optimally Self-Healing IoT Choreographies“, Seeger J., Bröring A., Carle G., ACM Transactions on Internet Technology (TOIT), 20(3), 2020.
“Networking-aware IoT Application Development“, Bröring A., Seeger J., Papoutsakis M., Fysarakis F., Caracalli A. to appear in MDPI sensors: Special Issue Semantics for Sensors, Networks and Things.
“Pairing a Circular Economy and the 5G-Enabled Internet of Things: Creating a Class of “Looping Smart Assets”“, Miaoudakis A., Fysarakis K., Petroulakis N., Alexaki S., Alexandirs G., Ioannidis S., Spanoudakis G., Katos V., Verikoukis C., “, IEEE Vehicular Technology Magazine, 2020.
“Validation of Semantic Interoperability between IoT Platforms“, Lakka E., Petroulakis N., Michalodimitrakis E., Papoutsakis M., IEEE 3rd Workshop on Internet of Things Security and Privacy (WISP 2020) held in conjunction with Global IoT Summit 2020 (GIOTS 2020), IEEE, Jul., 2020.
“Towards Privacy-Preserving Local Monitoring and Evaluation of Network Traffic from IoT Devices and Corresponding Mobile Phone Applications” Klement F. , Pöhls H. C. and Spielvogel. K., In IEEE 3rd Workshop on Internet of Things Security and Privacy (WISP 2020) held in conjunction with Global IoT Summit 2020 (GIOTS 2020), IEEE, Jul., 2020.
“Dynamic Consent: Physical Switches and Feedback to Adjust Consent to IoT Data Collection“, Pöhls H. C. and Rakotondravoni N., 22nd International Conference on Human-Computer Interaction (HCII 2020), Copenhagen, Denmark, Jul. 17-24, 2020.
“Decoupling of Distributed Consensus, Failure Detection and Agreement in SDN Control Plane”, E. Sakic and W. Kellerer, In: IFIP Networking 2020 Conference (IFIP Networking 2020). Paris, France, June 2020.
“Automated Bootstrapping of A Fault- Resilient In-Band Control Plane“, E. Sakic, M. Avdic, A. Van Bemten, and W. Kellerer, In: Proceedings of the Symposium on SDN Research. SOSR ’20. San Jose, CA, USA: Association for Computing Machinery, 2020, pp. 1–13. isbn: 9781450371018. doi: 10.1145/3373360.3380829.
“Online VNF Lifecycle Management in an MEC-Enabled 5G IoT Architecture“, Sarrigiannis I., Ramantas K., Kartsakli E., Mekikis P., Antonopoulos A., Verikoukis C., IEEE Internet of Things Journal, vol. 7, no. 5, pp. 4183-4194, May 2020.

2019

“Towards IoT Orchestrations with Security, Privacy, Dependability and Interoperability Guarantees“, K. Fysarakis, M. Papoutsakis, N. Petroulakis, and G. Spanoudakis, , 2019 IEEE Global Communications Conference (GLOBECOM), Waikoloa, HI, USA, Dec. 9-13, 2019.
“P4BFT: Hardware-Accelerated Byzantine- Resilient Network Control Plane“, Sakic E., Deric N., Goshi E., Kellerer W., 2019 IEEE Global Communications Conference (GLOBECOM). Dec. 2019, pp. 1–7.
“LTE as a Service: leveraging NFV for realising dynamic 5G network slicing“, Sanabria-Russo L., Righi L., Pubill D., Serra J., Granelli F., Verikoukis C., Proceedings of IEEE Global Communications Conference (IEEE GLOBECOM), 9-13 December 2019, Waikoloa, HI (USA).
“Smart End-to-end Massive IoT Interoperability, Connectivity and Security (SEMIoTICS)“, Nikolaos E. Petroulakis, Konstantinos Fysarakis, Sotiris Ioannidis, George Spanoudakis, Vivek Kulkarni, ERCIM News 119, Special Theme: Smart Things Everywhere.
“Secure Semantic Interoperability for IoT Applications with Linked Data“, G. Hatzivasilis, O. Soultatos, E. Lakka, S. Ioannidis, D. Anicic, A. Bröring, K. Fysarakis, G. Spanoudakis, M. Falchettom, and L. Ciechomski, 2019 IEEE Global Communications Conference (GLOBECOM), Waikoloa, HI, USA, Dec. 9-13, 2019.
“Fully Invisible Protean Signatures Schemes. In IET Information Security“, Krenn S., Pöhls H. C., Samelin K., Slamanig D., Nov. 2019.
“Pattern-driven Security, Privacy, Dependability and Interoperability management of IoT environments“, Soultatos O., Papoutsakis M., Fysarakis K., Hatzivasilis G., Michalodimitrakis M., Spanoudakis G., and Ioannidis S., 2019 24th IEEE International Workshop on Computer-Aided Modeling Analysis and Design of Communication Links and Networks (CAMAD), Limassol, Cyprus, Sept. 11-13, 2019.
“End-to-End Semantic Interoperability Mechanisms for IoT“, Lakka E., Petroulakis N.E., Hatzivasilis G., Soultatos O., Michalodimitrakis M., Rak U., Waledzik K., Anicic D., Kulkarni V., 2019 24th IEEE International Workshop on Computer-Aided Modeling Analysis and Design of Communication Links and Networks (CAMAD), Limassol, Cyprus, Sept. 11-13, 2019.
“QoE-Aware Resource Allocation for Profit Maximization Under User Satisfaction Guarantees in HetNets With Differentiated Services“, Trakas P., Adelantado F., Verikoukis C., IEEE Systems Journal, vol. 13, no. 3, pp. 2664-2675, Sept. 2019.
“P4BFT: A Demonstration of Hardware-Accelerated BFT in Fault-Tolerant Network Control Plane“, Sakic E., Bermudez S.C., Goshi E., Deric N., Kellerer W., ACM SIGCOMM ’19 Posters and Demos, Beijing, China, August 2019.
“Botnet Attack Detection at the IoT Edge Based on Sparse Representation“, Tzagkarakis C., Petroulakis N. E., Ioannidis S., Global IoT Summit 2019 (GIoTS’19), Aarhus, Denmark, June 17-21, 2019.
“SEMIoTICS Architectural Framework: End-to-end Security“, Petroulakis N.E., Lakka E., Sakic E., Kulkarni V., Fysarakis K., Somarakis I., Serra J., Sanabria-Russo L., Pau D., Falchetto M., Presenza D., Marktscheffel T., Ramantas K., Mekikis P. V., Ciechomski L., Waledzik K., Connectivity and Interoperability for Industrial IoT, Global IoT Summit 2019 (GIoTS’19), Aarhus, Denmark, June 17-21, 2019.
“Rule-Based Translation of Application-Level QoS Constraints into SDN Configurations for the IoT“, Seeger J., Bröring A., Pahl M.-O. and Sakic E., EuCNC 2019, Valencia, Spain. IEEE, 18.-21 June 2019.
“NOVA: A Knowledge Base for the Node-RED Ecosystem“, Bröring, A., Charpenay V., Anicic D., and Puech S., In: ESWC 2019 Satellite Events. Portoroz, Slovenia, June 2019.
“Incentives for a Softwarization of Wind Park Communication Networks“, Vizarreta P., Van Bemten A., Sakic E., Abbasi K., Petroulakis N., Kellerer W., Mas Machuca C., IEEE Communications Magazine, May 2019.
“BFT Protocols for Heterogeneous Resource Allocations in Distributed SDN Control Plane“, Sakic E., Kellerer W., IEEE International Conference on Communications (ICC), IEEE, May 2019.
“NFV-enabled Experimental Platform for 5G Tactile Internet Support in Industrial Environments“, Mekikis P.-V., Ramantas K., Antonopoulos A. Kartsakli E., Sanabria-Russo L., Serra J., Pubill D., Verikoukis C., IEEE Transactions on Industrial Informatics, May 2019.
“WARDOG: Awareness detection watchdog for Botnet infection on the host device“, Hatzivasilis G., Soultatos O., Chatziadam P., Fysarakis K., Askoxylakis I., Ioannidis S., Alexandris G. , Katos V. , and Spanoudakis G., IEEE Transactions on Sustainable Computing, May 2019.
“IoT Data Analytics as a Network Edge Service“, Sanabria-Russo L., Pubill D., Serra J., Verikoukis Ch., INFOCOM 2019 – IEEE Conference on Computer Communications Workshops (INFOCOM WKSHPS), May 2019, Paris.
“What it takes to boost Internet of Things privacy beyond encryption with unobservable communication: a survey and lessons learned from the first implementation of DC-net“, Staudemeyer R., Pöhls H. C., Wójcik M., Journal of Reliable Intelligent Environments, vol 5, issue 1, April 2019.
“Mining Software Repositories for Predictive Modelling of Defects in SDN Controller“, Vizarreta P., Sakic E., Kellerer W., Mas Machuca C., IFIP/IEEE International Symposium on Integrated Network Management, IEEE, 8-12 April 2019.

2018

“SDN-based pro-active flow installation mechanism for delay reduction in IoT“, Sanabria-Russo L., Alonso-Zarate J., Verikoukis C., IEEE GLOBECOM, Abu Dhabi, Dec. 2018.
“Scalable and Flexible IoT data analytics: when Machine Learning meets SDN and Virtualization“, Serra J., Sanabria L., Pubill D. and Verikoukis Ch., 2018 IEEE Global Communications Conference (GLOBECOM), Barcelona, Spain, 9-13 Dec. 2018.
“Impact of Adaptive Consistency on Distributed SDN Applications“: An Empirical Study, Sakic E., Kellerer W., IEEE Journal on Selected Areas in Communications, 24 September 2018.
“Harvesting artificial light indoors to power perpetually a Wireless Sensor Network node“, Pubill D., Serra J. and Verikoukis C., 23rd International Workshop on Computer Aided Modeling and Design of Communication Links and Networks (CAMAD 2018), Barcelona, Spain, 17.-19. September 2018.
“The Interoperability of Things – Interoperable solutions as an enabler for IoT and Web 3.0“, Hatzivasilis G., Askoxylakis I., Alexandris G., Anicic D., Bröring A., Kulkarni V., Fysarakis K. and Spanoudakis G., 23rd International Workshop on Computer Aided Modeling and Design of Communication Links and Networks (CAMAD 2018), Barcelona, Spain, 17.-19. September 2018.
“Towards a Security, Privacy, Dependability, Interoperability Framework for the Internet of Things“, Soultatos O., Spanoudakis G., Fysarakis K., Askoxylakis I., Alexandris G., Miaoudakis A., Petroulakis N. E., 23rd International Workshop on Computer Aided Modeling and Design of Communication Links and Networks (CAMAD 2018), Barcelona, Spain, 17.-19. September 2018.
“Key challenges for developing a Socially Assistive Robotic (SAR) solution for the health sector“,Kearney K., Saccà F., Presenza D. and Wright P., 23rd International Workshop on Computer Aided Modeling and Design of Communication Links and Networks (CAMAD 2018), Barcelona, Spain, 17.-19. September 2018.
“CloudNet Anti-Malware Engine: GPU-Accelerated Network Monitoring for Cloud Services“, Hatzivasilis G., Fysarakis K., Askoxylakis I. and Bilanakos A., IOSec, Heraklion, Crete, Greece, Springer, LNCS, 13 September 2018.
“Architectural Patterns for Secure IoT Orchestrations“, Fysarakis K.,Spanoudakis G., Petroulakis N. E., Soultatos O., Bröring A. and Marktscheffel T., Global Internet of Things Summit (GIoTS 2019), 17.-21 June 2018, Aarhus, DK. IEEE.
“A Framework for Pairing Circular Economy and the Internet of Things“, Askoxylakis, I., IEEE International Conference on Communications (IEEE ICC 2018), Communications QoS, Reliability, and Modeling Symposium (CQRM), Kansas City, MO, USA, May 20-24, 2018.
“SeMIBIoT: Secure Multi-protocol Integration Bridge for the IoT“, Palavras, E, IEEE International Conference on Communications (IEEE ICC 2018), Communications QoS, Reliability, and Modeling Symposium (CQRM), Kansas City, MO, USA, May 20-24, 2018.
“COPS: Cooperative Statistical Misbehavior Mitigation in Network-Coding-Aided Wireless Networks“, Antonopoulos, A., & Verikoukis, C. (2018), IEEE Transactions on Industrial Informatics, 14(4), 1436-1446, April 2018.

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)