Source:
Project Manager:
Project Number:
332915
Application Type:
Project Period:
2021 - 2021
Funding received from:
Organisation:
We have two new industrial cases (one with NTNU and another one is a security vendor), where they have massive use of XOR operations, which PROSA does not support, and thus requires unnecessary manual work during protocol modeling and analysis. Therefore, we need help to overcome this limitation and enhance its capability by supporting this operation in the PROSA tool.
Funding scheme:
IKTPLUSS-IKT og digital innovasjon
2.6BILL. NOKtotal funding in the programme period665PROJECTShave received funding in the programme period8SOURCEShave financed the programme
Funding Sources
Thematic Areas and Topics
SamfunnssikkerhetIKT forskningsområdeIKT forskningsområdeDigital sikkerhetLTP3 Muliggjørende og industrielle teknologierPortefølje Demokrati og global utviklingLTP3 IKT og digital transformasjonPortefølje Muliggjørende teknologierLTP3 Samfunnssikkerhet og beredskapLTP3 Samfunnsikkerhet, sårbarhet og konflikt