Principles of security and trust. Second international conference, POST 2013, held as part of the European joint conferences on theory and practice of software, ETAPS 2013, Rome, Italy, March 16--24, 2013. Proceedings
scientific article; zbMATH DE number 6137623