selected publications chapter Analysis of an Access Control System for RESTful Services. Lecture Notes in Computer Science. 2016