Secure Open Networks: Resource access control in open networks through type safety for process calculus models

calculus

von Neva Slani

Taschenbuch

EAN=ISBN-13: 978-3-8383-9087-1

ISBN-10: 3-8383-9087-3

LAP LAMBERT Academic Publishing · 2010