[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
|
|
|
|