A Principled Approach to Tracking Information Flow in the Presence of Libraries
Paper in proceeding, 2017
information flow
language-based security
noninterference
Author
Daniel Hedin
Information Security
Alexander Sjösten
Information Security
Frank Piessens
KU Leuven
Andrei Sabelfeld
Information Security
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
03029743 (ISSN) 16113349 (eISSN)
Vol. 10204 LNCS 49-70978-3-662-54454-9 (ISBN)
Areas of Advance
Information and Communication Technology
Subject Categories
Computer and Information Science
DOI
10.1007/978-3-662-54455-6_3
ISBN
978-3-662-54454-9