|
![]() |
|||
|
||||
OverviewFull Product DetailsAuthor: Eric Bodden , Mathias Payer , Elias AthanasopoulosPublisher: Springer International Publishing AG Imprint: Springer International Publishing AG Edition: 1st ed. 2017 Volume: 10379 Weight: 3.869kg ISBN: 9783319621043ISBN 10: 3319621041 Pages: 241 Publication Date: 26 June 2017 Audience: College/higher education , Professional and scholarly , Postgraduate, Research & Scholarly , Professional & Vocational Format: Paperback Publisher's Status: Active Availability: Manufactured on demand ![]() We will order this item for you from a manufactured on demand supplier. Table of ContentsCloud security, virtualization for security.- Mobile devices security.- Automated techniques for vulnerability discovery and analysis.- Model checking for security.- Verification techniques for security properties.- Security by design.- Web applications security.- Empirical secure software engineering.- Embedded software security.ReviewsAuthor InformationTab Content 6Author Website:Countries AvailableAll regions |