Ca' Foscari University of Venice - Research fellowship for specific project:Formal Specification ...

Employer
UNIVERSITA' CA' FOSCARI VENEZIA
Location
Italy
Posted
September 28 2017
Position Type
Full Time
Organization Type
Academia

The objective of the project is to investigate whether security policies of a (possibly safety critical) system could be integrated into the formal requirement specification using formal methods, in order to detect ambiguities and inconsistencies within the specification phase in Software development life-cycle. In this direction, we will apply lightweight techniques for validation and verification towards securing the application right at the requirement engineering stage. In particular, we will apply modeling languages like Event-B and iSTAR to specify and analyze the requirements so that the design of application software itself is compliant to the security criteria.The research activities are related to the Join Project Italia - India IN17MO07.



This job comes from a partnership with Science Magazine and Euraxess