research unit 1

This site is powered by Aigaion - A PHP/Web based management system for shared and annotated bibliographies. For more information visit
Keywords (1)Abstracts (2)
[RACTI-RU1-2009-124] Kaklamanis, Christos and Flemming, Nielson, Trustworthy Global Computing, Springer, 2009.
Keywords:access control, anonymity, approximation algorithms, authentication, bigraphs, calculi, concurrent computing, distributed computing, distributed systems, energy saving, formal methods, global computing, graph transformation, meta-modeling, mobile code, mobile computing, model checking, model transformation, multi-interface network, privacy, security, semantics, service oriented computing, subtyping, systems security , trusted computing, type theory , typechecking, verification , wireless network