Publication year
2009Publisher
Berlin : Springer Verlag
ISBN
364203828X
In
Lecture Notes in Computer Science, (2009)Aldini, A.; Barthe, G.; Gorrieri, . (ed.), Foundations of Security Analysis and Design V: FOSAD 2008/2009 Tutorial Lectures, pp. 121-144ISSN
Annotation
FOSAD 2008
Publication type
Article in monograph or in proceedings
Display more detailsDisplay less details
Editor(s)
Aldini, A.
Barthe, G.
Gorrieri, .
Organization
Security of Systems
Digital Security
Former Organization
Biophysics
Journal title
Lecture Notes in Computer Science
Languages used
English (eng)
Book title
Aldini, A.; Barthe, G.; Gorrieri, . (ed.), Foundations of Security Analysis and Design V: FOSAD 2008/2009 Tutorial Lectures
Page start
p. 121
Page end
p. 144
Subject
Digital SecurityThis item appears in the following Collection(s)
- Academic publications [246641]
- Electronic publications [134197]
- Faculty of Science [38030]
- Open Access publications [107722]
Upload full text
Use your RU credentials (u/z-number and password) to log in with SURFconext to upload a file for processing by the repository team.