FOSAD 2012 / 2013 Tutorial Lectures
De som köpt den här boken har ofta också köpt Slow Productivity av Cal Newport (häftad).
Köp båda 2 för 876 krModel-Based Testing for Functional and Security Test Generation.- Model-Based Security Engineering: Managed Co-evolution of Security Knowledge and Software Models.- Automatic Verification of Security Protocols in the Symbolic Model: The Verifier ProVerif.- Defensive JavaScript: Building and Verifying Secure Web Components.- Information Flow Control for Web Scripts.- EasyCrypt: A Tutorial.- Cryptographic Voting A Gentle Introduction.- Encryption and Fragmentation for Data Confidentiality in the Cloud.- Location Privacy in WSNs: Solutions, Challenges, and Future Trends.