Treffer: An Information Flow Verifier for Small Embedded Systems
Title:
An Information Flow Verifier for Small Embedded Systems
Authors:
Source:
Lecture Notes in Computer Science ; Information Security Theory and Practices. Smart Cards, Mobile and Ubiquitous Computing Systems ; page 189-201 ; ISSN 0302-9743 1611-3349 ; ISBN 9783540723530 9783540723547
Publisher Information:
Springer Berlin Heidelberg
Publication Year:
2007
Document Type:
Buch
book part
Language:
English
ISBN:
978-3-540-72353-0
978-3-540-72354-7
3-540-72353-6
3-540-72354-4
978-3-540-72354-7
3-540-72353-6
3-540-72354-4
DOI:
10.1007/978-3-540-72354-7_16
Availability:
Accession Number:
edsbas.F75F6532
Database:
BASE