EPTCS PROCEEDINGS
The official proceedings of GraMsec 2014 have been published in Electronic Proceedings in Theoretical Computer Science. They are available on the EPTCS website.
GraMSec 2014
The First International Workshop on
Graphical Models for Security
April 12, 2014, Grenoble, France
Co-located with ETAPS 2014
|
|
|
|