Formal logical methods for system security and correctness

Modelling cyber security approaches, methodology, strategies /
Хэвлэсэн: (2009)

Securing WebLogic Server 12c learn to develop, administer, and troubleshot your WebLogic Server /
-н: Masini, Luca
Хэвлэсэн: (2012)

Security and embedded systems
Хэвлэсэн: (2006)

Formal models and techniques for analyzing security protocols
Хэвлэсэн: (2011)

Programming logic and design : introductory.
-н: Farrell, Joyce
Хэвлэсэн: (2006)

Secure telematic applications for national scale projects
Хэвлэсэн: (2008)

Advances in technological applications of logical and intelligent systems selected papers from the Sixth Congress on Logic Applied to Technology /
Хэвлэсэн: (2009)

Identity, security and democracy the wider social and ethical implications of automated systems for human identification /
Хэвлэсэн: (2009)

Logics and languages for reliability and security
Хэвлэсэн: (2010)

Software and systems safety specification and verification /
Хэвлэсэн: (2011)

A guide to programming logic and design /
-н: Farrell, Joyce
Хэвлэсэн: (1999)

Software systems safety /
Хэвлэсэн: (2014)

Information security applications : 7th International Workshop, WISA 2006 Jeju Island, Korea, August 28-30, 2006 revised selected papers /
Хэвлэсэн: (2006)

Securing information and communications systems principles, technologies, and applications /
Хэвлэсэн: (2008)

Security 2020 reduce security risks this decade /
-н: Howard, Doug
Хэвлэсэн: (2011)

Formal Logic /
-н: Gregory, Paul A.
Хэвлэсэн: (2017)

Verification of infinite-state systems with applications to security
Хэвлэсэн: (2006)

Mathematical aspects of logic programming semantics /
-н: Hitzler, Pascal, зэрэг
Хэвлэсэн: (2011)

Securing the cloud cloud computer security techniques and tactics /
-н: Winkler, J. R. (Joachim R.)
Хэвлэсэн: (2011)

Formal techniques for networked and distributed systems FORTE 2001 : IFIP TC6 WG6.1 - 21st International Conference on Formal Techniques for Networked and Distributed Systems, August 28-31, 2001, Cheju Island, Korea /
Хэвлэсэн: (2001)

Demystifying Intelligent Multimode Security Systems : An Edge-To-Cloud Cybersecurity Solutions Guide /
-н: Booth, Jody
Хэвлэсэн: (2023)

Meaning, logic and ludics
-н: Lecomte, Alain, 1947-
Хэвлэсэн: (2011)

Formal logic : a philosophical approach /
-н: Hoyningen-Huene, Paul, 1946-
Хэвлэсэн: (2004)

Reasoning and formal logic : essays on logic as the art of reasoning well /
-н: Epstein, Richard L.
Хэвлэсэн: (2015)

Computer security fundamentals /
-н: Easttom, Chuck
Хэвлэсэн: (2006)

Mastering network security
-н: Brenton, Chris
Хэвлэсэн: (2003)

The misuse of information systems the impact of security countermeasures /
-н: D'Arcy, John P., 1975-
Хэвлэсэн: (2007)

Advances in network and distributed systems security IFIP TC11 WG11.4 First Annual Working Conference on Network Security : November 26-27, 2001, Leuven, Belgium /
Хэвлэсэн: (2002)

Formal methods applied to complex systems : implementation of the B method /
Хэвлэсэн: (2014)

Securing HP NonStop servers in an open systems world TCP/IP, OSS & SQL /
Хэвлэсэн: (2006)

Computer security /
-н: Gollmann, Dieter
Хэвлэсэн: (2006)

Soft computing systems design, management and applications /
Хэвлэсэн: (2002)

Developing secure distributed systems with CORBA
-н: Lang, Ulrich
Хэвлэсэн: (2002)

Managing information security
Хэвлэсэн: (2010)

Detection and intelligent systems for homeland security. /
Хэвлэсэн: (2014)

Assessing information security strategies, tactics, logic and framework /
-н: Vladimirov, Andrew A.
Хэвлэсэн: (2010)