Íomhá chlúdaigh

Cód QR

Formal logical methods for system security and correctness

Sábháilte in:

Sonraí bibleagrafaíochta
Údair chorparáideacha:	NATO Advanced Study Institute on Formal Logical Methods for System Security and Correctness Marktoberdorf, Germany, ebrary, Inc
Rannpháirtithe:	Grumberg, Orna, Nipkow, Tobias, 1958-, Pfaller, Christian
Formáid:	Leictreonach Imeacht comhdhála Ríomhleabhar
Teanga:	Béarla
Foilsithe / Cruthaithe:	Amsterdam, Netherlands ; Washington, DC : IOS Press, c2008.
Sraith:	NATO security through science series. Information and communication security ; v. 14.
Ábhair:	Computer security > Congresses. Computer logic > Congresses. Electronic books.
Rochtain ar líne:	An electronic book accessible through the World Wide Web; click to view
Clibeanna:	Cuir clib leis Níl clibeanna ann, Bí ar an gcéad duine le clib a chur leis an taifead seo!

Míreanna comhchosúla

Software system reliability and security
Foilsithe / Cruthaithe: (2007)

Software safety and security tools for analysis and verification /
Foilsithe / Cruthaithe: (2012)

Arithmetic and logic in computer systems
de réir: Lu, Mi
Foilsithe / Cruthaithe: (2004)

Algorithms, architectures and information systems security
Foilsithe / Cruthaithe: (2009)

Modelling cyber security approaches, methodology, strategies /
Foilsithe / Cruthaithe: (2009)

Security and embedded systems
Foilsithe / Cruthaithe: (2006)

Securing WebLogic Server 12c learn to develop, administer, and troubleshot your WebLogic Server /
de réir: Masini, Luca
Foilsithe / Cruthaithe: (2012)

Formal models and techniques for analyzing security protocols
Foilsithe / Cruthaithe: (2011)

Secure telematic applications for national scale projects
Foilsithe / Cruthaithe: (2008)

Programming logic and design : introductory.
de réir: Farrell, Joyce
Foilsithe / Cruthaithe: (2006)

Identity, security and democracy the wider social and ethical implications of automated systems for human identification /
Foilsithe / Cruthaithe: (2009)

Advances in technological applications of logical and intelligent systems selected papers from the Sixth Congress on Logic Applied to Technology /
Foilsithe / Cruthaithe: (2009)

Logics and languages for reliability and security
Foilsithe / Cruthaithe: (2010)

Software and systems safety specification and verification /
Foilsithe / Cruthaithe: (2011)

A guide to programming logic and design /
de réir: Farrell, Joyce
Foilsithe / Cruthaithe: (1999)

Software systems safety /
Foilsithe / Cruthaithe: (2014)

Information security applications : 7th International Workshop, WISA 2006 Jeju Island, Korea, August 28-30, 2006 revised selected papers /
Foilsithe / Cruthaithe: (2006)

Securing information and communications systems principles, technologies, and applications /
Foilsithe / Cruthaithe: (2008)

Security 2020 reduce security risks this decade /
de réir: Howard, Doug
Foilsithe / Cruthaithe: (2011)

Verification of infinite-state systems with applications to security
Foilsithe / Cruthaithe: (2006)

Formal Logic /
de réir: Gregory, Paul A.
Foilsithe / Cruthaithe: (2017)

Mathematical aspects of logic programming semantics /
de réir: Hitzler, Pascal, et al.
Foilsithe / Cruthaithe: (2011)

Securing the cloud cloud computer security techniques and tactics /
de réir: Winkler, J. R. (Joachim R.)
Foilsithe / Cruthaithe: (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 /
Foilsithe / Cruthaithe: (2001)

Demystifying Intelligent Multimode Security Systems : An Edge-To-Cloud Cybersecurity Solutions Guide /
de réir: Booth, Jody
Foilsithe / Cruthaithe: (2023)

Computer security fundamentals /
de réir: Easttom, Chuck
Foilsithe / Cruthaithe: (2006)

Mastering network security
de réir: Brenton, Chris
Foilsithe / Cruthaithe: (2003)

The misuse of information systems the impact of security countermeasures /
de réir: D'Arcy, John P., 1975-
Foilsithe / Cruthaithe: (2007)

Meaning, logic and ludics
de réir: Lecomte, Alain, 1947-
Foilsithe / Cruthaithe: (2011)

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

Soft computing systems design, management and applications /
Foilsithe / Cruthaithe: (2002)

Formal logic : a philosophical approach /
de réir: Hoyningen-Huene, Paul, 1946-
Foilsithe / Cruthaithe: (2004)

Securing HP NonStop servers in an open systems world TCP/IP, OSS & SQL /
Foilsithe / Cruthaithe: (2006)

Formal methods applied to complex systems : implementation of the B method /
Foilsithe / Cruthaithe: (2014)

Reasoning and formal logic : essays on logic as the art of reasoning well /
de réir: Epstein, Richard L.
Foilsithe / Cruthaithe: (2015)

Computer security /
de réir: Gollmann, Dieter
Foilsithe / Cruthaithe: (2006)

Developing secure distributed systems with CORBA
de réir: Lang, Ulrich
Foilsithe / Cruthaithe: (2002)

Managing information security
Foilsithe / Cruthaithe: (2010)

Trust and security in collaborative computing
de réir: Zou, Xukai, 1963-
Foilsithe / Cruthaithe: (2008)

Web commerce security design and development /
de réir: Nahari, Hadi
Foilsithe / Cruthaithe: (2011)