|
DSpace at RU >
University Library >
Academic bibliography >
Files in This Item:
| File |
Description |
Size | Format |
|---|
 | preprint version | 196.84 kB | Adobe PDF | View/Open |
|
| Title: | Safe equivalences for security properties |
| Author(s): | Alvim, M.S.
Andres, M.E. (304689963)
Palamidessi, C.
Rossum, P. van (186485735) |
| Publication year: | 2010 |
| Document type: | Part of book or chapter of book |
| Book title: | Calude, C.S.;Sassone, V. (ed.), Theoretical computer science : 6th IFIP TC 1/WG 2.2 International Conference, TCS 2010, Held as Part of WCC 2010, Brisbane, Australia, September 20-23, 2010. Proceedings |
| ISBN: | 97836421524055 |
| Start page: | p. 55 |
| End page: | p. 70 |
| Series: | IFIP advances in information and communication technology ; 323 |
| Publisher: | Berlin : Springer |
| Annotation: | Scientific publication |
| Subject: | Digital Security |
| Organization: | Digital Security |
| Appears in Collections: | Academic bibliography
|
|
Please use this identifier to cite or link to this item:
http://hdl.handle.net/2066/84100
Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.
|
|
