Publication year: 2007
ISBN: 978-3-540-77505-8
Internet Resource: Please Login to download book
This book cover theory, practice, applications, and experiences related to secure software.
Subject: Computer Science, DRM, Symbol, XML, authentication, automata, bilinear map, component software, control flow, database, dynamic profiling, formal reasoning, formal verification, real-time systems, semantics, verification