|
| This site is powered by Aigaion - A PHP/Web based management system for shared and annotated bibliographies.
For more information visit Aigaion.nl. |  |
| Type of publication: | Book |
| Entered by: | |
| Title | Trustworthy Global Computing |
| Bibtex cite ID | RACTI-RU1-2009-124 |
| Year published | 2009 |
| Publisher | Springer |
| 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 |
| Authors | |
Topics
| |
| BibTeX | BibTeX |
| RIS | RIS |
| Attachments | |
| Publication ID | 817 |
|
|
