Semiotics
  • Home
  • Scope
  • News
  • Publications
  • Resources
    • SEMIoTICS Deliverables
    • Pattern Repository
    • SEMIoTICS Framework Open API
    • External Resources
  • Contact
  • About
    • Objectives
    • Scenarios
    • Consortium
  • Login
  • Home
  • Scope
  • News
  • Publications
  • Resources
    • - SEMIoTICS Deliverables
    • - Pattern Repository
    • - SEMIoTICS Framework Open API
    • - External Resources
  • Contact
  • About
    • - Objectives
    • - Scenarios
    • - Consortium
  • Login

News

  • 10/12/2020 Final Plenary Meeting
  • 9/12/2020 The Final Advisory Committee Meeting
  • 27/11/2020: SEMIoTICS at 3rd IEEE International Workshop on Smart Circular Economy
  • 7-8/07/2020: Consortium meeting at Sphynx (Virtual)
  • 12/03/2020: SEMIoTICS at 2nd International Workshop on Smart Circular Economy
  • 04/03/2020: SEMIoTICS at Cluster Workshop of the IoT Security/Privacy
  • 04/12/2019: F2F Consortium meeting at ST
  • 27/09/2019: SEMIoTICS at Researchers’ Night 2019
  • 27/09/2019: F2F Consortium meeting at ENG
  • 16-20/9/2019: SEMIoTICS at NIS 2019
  • 17-21/06/2019: SEMIoTICS at GIoTS2019 collocated with IotWeek2019
  • 19/06/2019: SEMIoTICS at EuCNC 2019
  • 2-3/04/2019: F2F Consortium meeting at BlueSoft
  • 25/02/2018: SEMIoTICS at MWC 2019
  • 12/12/2018: SEMIoTICS at Security/Privacy Cluster Workshop
  • 27-28/11/2018: F2F Consortium meeting at CTTC
  • 22/10/2018: SEMIoTICS at IoTweek18
  • 17/10/2018: SEMIoTICS at IOTSWC 2018.
  • 28/9/2018: SEMIoTICS at Researcher’s Night 2018
  • 24-28/9/2018: SEMIoTICS at NIS 2018
  • 10-14/7/2018: SEMIoTICS at RAID 2018
  • 11/7/2018: F2F Consortium meeting at FORTH
  • 18-21/6/2018: SEMIoTICS at EUCNC 2018
  • 01/6/2018: 1st project Newsletter released
  • 8/3/2018: Kick off meeting at Siemens AG
  • 24/1/2018: Kick off meeting via conference call
  • Preparation for the SEMIoTICS kickoff meeting conference call

Latest News

  • 10/12/2020 Final Plenary Meeting
  • 9/12/2020 The Final Advisory Committee Meeting
  • 27/11/2020: SEMIoTICS at 3rd IEEE International Workshop on Smart Circular Economy

Tweets

Tweets by semiotics_eu
EU
This project has received funding from the European Union’s Horizon 2020
research and innovation programme under grant agreement number 780315
Conditions of Use | Privacy Policy
  • Follow Us
Our Privacy Policy has been updated to align with European Union's new General Data Protection Regulation (GDPR).
By accepting we'll assume that you are opting-in to receive all cookies. Accept
Privacy & Cookies Policy

Privacy Overview

This website uses cookies to improve your experience while you navigate through the website. Out of these, the cookies that are categorized as necessary are stored on your browser as they are essential for the working of basic functionalities of the website. We also use third-party cookies that help us analyze and understand how you use this website. These cookies will be stored in your browser only with your consent. You also have the option to opt-out of these cookies. But opting out of some of these cookies may affect your browsing experience.
Necessary
Always Enabled

Necessary cookies are absolutely essential for the website to function properly. This category only includes cookies that ensures basic functionalities and security features of the website. These cookies do not store any personal information.

Non-necessary

Any cookies that may not be particularly necessary for the website to function and is used specifically to collect user personal data via analytics, ads, other embedded contents are termed as non-necessary cookies. It is mandatory to procure user consent prior to running these cookies on your website.

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