Advances in Computer Science - ASIAN 2006. Secure Software and Related Issues
Publication year: 2007
: 978-3-540-77505-8
This book cover theory, practice, applications, and experiences related to secure software.
: 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
