The page provides a list of national and international projects where FER participates or has participated as a project coordinator or partner.
Project database
Projects
Project
Acronym:
VERIFY
Name:
New methods for verification of security and privacy mechanisms in e-commerce and e-government systems
Project status:
From: 2014-10-01
To: 2016-09-30
(Completed)
Contract number:
NEWFELPRO Grant Agreement No. 14
Action line:
-
Type (Programme):
FP7
Funding scheme:
Marie Curie
Project cost:
-
Project funding:
-
Project coordinator
Organisation Name:
University of Zagreb, Faculty of Electrical Engineering and Computing
Organisation adress:
Unska 3, 10000 Zagreb
Organisation country:
Croatia
Contact person name:
doc. dr. sc. Ante Đerek
Contact person email:
Croatian partner
Organisation name:
Fakultet elektrotehnike i računarstva
Organisation address:
Unska 3, 10000 Zagreb, Hrvatska
Contact person name:
doc. dr. sc. Ante Đerek
Contact person tel:
-
Contact person fax:
-
Contact person e-mail:
Partners
Short description of project
Usage of computer systems and networks in government, education, healthcare and almost every aother aspect of everyday life has produced an abundance of sensitive digital data across various digital archives and services. Sensitive data includes not only personally identifiable information but also any piece of information whose misuse (unauthorized access, sharing, publication or correlation with other data) can harm the data subject. Such data is almost never physically or logically isolated from the rest of the world - it is usually partially exposed via interfaces such as web services or interoperability with other digital systems or services. For example, computer system for enrolling students in universities may interface with central school system to retrieve students grades or test results, interface with government systems to confirm students address or citizenships etc. While the security and privacy issues concerning isolated or homogenous systems are somewhat well understood, growing interoperability of heterogeneous computer systems is rarely accompanied with systematic investigation of security and privacy properties provided by the resulting system as a whole. The goal of this research is to develop new methods of specification and verification of security and privacy properties of the heterogeneous interoperable computer systems that handle sensitive data and expose it through public or private interfaces.
Short description of the task performed by Croatian partner
Usage of computer systems and networks in government, education, healthcare and almost every aother aspect of everyday life has produced an abundance of sensitive digital data across various digital archives and services. Sensitive data includes not only personally identifiable information but also any piece of information whose misuse (unauthorized access, sharing, publication or correlation with other data) can harm the data subject. Such data is almost never physically or logically isolated from the rest of the world - it is usually partially exposed via interfaces such as web services or interoperability with other digital systems or services. For example, computer system for enrolling students in universities may interface with central school system to retrieve students grades or test results, interface with government systems to confirm students address or citizenships etc. While the security and privacy issues concerning isolated or homogenous systems are somewhat well understood, growing interoperability of heterogeneous computer systems is rarely accompanied with systematic investigation of security and privacy properties provided by the resulting system as a whole. The goal of this research is to develop new methods of specification and verification of security and privacy properties of the heterogeneous interoperable computer systems that handle sensitive data and expose it through public or private interfaces.