Previous
Next
Journal
- graphical models for security : third international workshop, gramsec 2016, lisbon, portugal, june 27, 2016, revised selected papers10
- graphical models for security : second international workshop, gramsec 2015, verona, italy, july 13, 2015, revised selected papers7
- lecture notes in computer science6
- computer science review3
- information sciences3
- international journal of secure software engineering3
- integrated formal methods2
- 2012 ieee 25th computer security foundations symposium1
- 2018 ieee 31st computer security foundations symposium (csf)1