Dependable software systems engineering /

Dependable software systems engineering /

In the last few years we have all become daily users of Internet banking, social networks and cloud services. Preventing malfunctions in these services and protecting the integrity of private data from cyber attack are both current preoccupations of society at large. While modern technologies have d...

Full description

Saved in:
Bibliographic Details
Corporate Author: NATO Advanced Study Institute (ASI) on Verification and Synthesis of Correct and Secure Systems Marktoberdorf, Germany)
Other Authors: Esparza, Javier (Editor), Grumberg, Orna (Editor), Sickert, Salomon (Editor)
Format: Electronic Conference Proceeding eBook
Language:English
Published: Amsterdam, Netherlands : IOS Press, 2016.
Series:NATO science for peace and security series. Information and communication security ; vol. 45.
Subjects:
Computer security > Congresses.
Computer networks > Security measures > Congresses.
Software engineering > Congresses.
Conference papers and proceedings
Online Access:CONNECT

Internet

CONNECT

Similar Items