Original language | English |
---|---|
Article number | 6 |
Pages (from-to) | 846 |
Number of pages | 880 |
Journal | Journal of Computer Security |
Volume | 21 |
DOIs | |
Publication status | Published - 2013 |
Keywords
- security protocols, privacy models, formal verification, cloud computing