Team, Visitors, External Collaborators
Overall Objectives
Research Program
Application Domains
Highlights of the Year
New Software and Platforms
New Results
Bilateral Contracts and Grants with Industry
Partnerships and Cooperations
Dissemination
Bibliography
XML PDF e-pub
PDF e-Pub


Section: New Results

Expressing IoT security constraints

Participants : St├ęphanie Challita, Robert de Simone.

In the framework of Inria Project Lab SPAI, we are considering extensions of the logical time constraint style of CCSL, in order to encompass locality information as well as the duality between (dynamic) agents and (static) resources. Once an appropriate framework has been defined to express occupancy of resources by agents through (logical) time, notions of access rights, enclaves, privileges and priorities may be encoded straightforwardly, and rules governing their proper secure use can be expressed as properties. Results will be presented at the completion of Stephanie Challita postdoctoral period.