Ditemukan 2 dokumen yang sesuai dengan query
This book constitutes the thoroughly refereed post-conference proceedings of the 8th International Workshop on Formal Aspects of Security and Trust, FAST 2011, held in conjunction with the 16th European Symposium on Research in Computer Security, ESORICS 2011, in Leuven, Belgium in September 2011. The 15 revised full papers presented together...
Berlin: Springer-Verlag, 2012
e20409541
eBooks Universitas Indonesia Library
This book constitutes the refereed proceedings of the 4th International Symposium on Engineering Secure Software and Systems, ESSoS 2012, held in Eindhoven, The Netherlands, in February 2012. The 7 revised full papers presented together with 7 idea papers were carefully reviewed and selected from 53 submissions. The full papers present...
Berlin: Springer-Verlag, 2012
e20409115
eBooks Universitas Indonesia Library
