Book Details

Advances in Computer Science - ASIAN 2006. Secure Software and Related Issues

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