You are here
SecSES - Secure Energy Systems
SecSES - Secure Energy Systems is an activity in the context of the EIT ICT Labs activities 2013 (Innovation Area: Smart Energy Systems).
The activity brings together the competence and expertise of eight partners. With respect to the secure smart home gateway, the activity builds on the networking expertise of Telecom Italia. It is then combined with the expertise in formal protocol security analysis of FBK, joined with the background in security certification of Engineering, and the expertise in data privacy and anomaly detection of two academic partners. With respect to targeted attacks, the activity builds on the track record of two academic partners in targeted attack detection and power system IT infrastructures. The technical expertise is completed by the standardization experience of Siemens.
Our contribution is the formal modeling and the mechanical analysis of security protocols and policies used in the complex scenario of the Secure Smart Home Energy Gateway for Smart Buildings.
In this context we developed the SecSES tool.
- A. Armando, R. Carbone, E. G. Chekole, C.Petrazzuolo, A. Ranalli, S. Ranise, "Selective Release of Smart Metering Data in Multi-domain Smart Grids", In SmartGridSec14: Proceedings of the Second Open EIT ICT Labs Workshop on Smart Grid Security, Springer, 2014.
- A. Armando, R. Carbone, E. G. Chekole, S.Ranise, "Attribute Based Access Control for APIs in Spring Security", In SACMAT2014: Proceedings of the 19th ACM Symposium on Access Control Models and Technologies, ACM press, 2014.