Search Results for Computer security. - Narrowed by: Grumberg, Orna. SirsiDynix Enterprise http://katalog.baskent.edu.tr/client/en_US/default/default/qu$003dComputer$002bsecurity.$0026qf$003dAUTHOR$002509Author$002509Grumberg$00252C$002bOrna.$002509Grumberg$00252C$002bOrna.$0026ps$003d300?dt=list 2026-05-01T23:08:37Z Formal logical methods for system security and correctness ent://SD_ILS/0/SD_ILS:945859 2026-05-01T23:08:37Z 2026-05-01T23:08:37Z by&#160;NATO Advanced Study Institute on Formal Logical Methods for System Security and Correctness (2007 : Marktoberdorf, Germany)<br/><a href="https://ebookcentral.proquest.com/lib/baskent-ebooks/detail.action?docID=346214">Click to View</a><br/>Format:&#160;Electronic Resources<br/> Software safety and security tools for analysis and verification ent://SD_ILS/0/SD_ILS:996743 2026-05-01T23:08:37Z 2026-05-01T23:08:37Z by&#160;NATO Advanced Study Institute on Tools for Analysis and Verification of Software Safety and Security (2011 : Bayrischzell, Germany)<br/><a href="https://ebookcentral.proquest.com/lib/baskent-ebooks/detail.action?docID=948331">Click to View</a><br/>Format:&#160;Electronic Resources<br/> Logics and languages for reliability and security ent://SD_ILS/0/SD_ILS:966627 2026-05-01T23:08:37Z 2026-05-01T23:08:37Z by&#160;Esparza, Javier.<br/><a href="https://ebookcentral.proquest.com/lib/baskent-ebooks/detail.action?docID=557042">Click to View</a><br/>Format:&#160;Electronic Resources<br/>