2 电子书 Joshua Guttman
Pierpaolo Degano & Sandro Etalle: Formal Aspects of Security and Trust
This book constitutes the thoroughly refereed post-proceedings of the 7th International Workshop on Formal Aspects of Security and Trust, FAST 2010, held as part of the 8th IEEE International …
PDF
英语
DRM
€57.82
Joshua Guttman & Tajana Ban Kirigin: Logic, Language, and Security
This Festschrift was published in honor of Andre Scedrov on the occasion of his 65th birthday. The 11 technical papers and 3 short papers included in this volume show the many transformative …
EPUB
英语
DRM
€70.67
