Formal logical methods for system security and correctness
Պահպանված է:
| Համատեղ հեղինակներ: | , |
|---|---|
| Այլ հեղինակներ: | , , |
| Ձևաչափ: | Էլեկտրոնային Գիտաժողովի նյութեր էլ․ գիրք |
| Լեզու: | անգլերեն |
| Հրապարակվել է: |
Amsterdam, Netherlands ; Washington, DC :
IOS Press,
c2008.
|
| Շարք: | NATO security through science series. Information and communication security ;
v. 14. |
| Խորագրեր: | |
| Առցանց հասանելիություն: | An electronic book accessible through the World Wide Web; click to view |
| Ցուցիչներ: |
Ավելացրեք ցուցիչ
Չկան պիտակներ, Եղեք առաջինը, ով նշում է այս գրառումը!
|
Նմանատիպ նյութեր
Software system reliability and security
Հրապարակվել է: (2007)
Հրապարակվել է: (2007)
Arithmetic and logic in computer systems
: Lu, Mi
Հրապարակվել է: (2004)
: Lu, Mi
Հրապարակվել է: (2004)
Software safety and security tools for analysis and verification /
Հրապարակվել է: (2012)
Հրապարակվել է: (2012)
Algorithms, architectures and information systems security
Հրապարակվել է: (2009)
Հրապարակվել է: (2009)
Modelling cyber security approaches, methodology, strategies /
Հրապարակվել է: (2009)
Հրապարակվել է: (2009)
Security and embedded systems
Հրապարակվել է: (2006)
Հրապարակվել է: (2006)
Securing WebLogic Server 12c learn to develop, administer, and troubleshot your WebLogic Server /
: Masini, Luca
Հրապարակվել է: (2012)
: Masini, Luca
Հրապարակվել է: (2012)
Formal models and techniques for analyzing security protocols
Հրապարակվել է: (2011)
Հրապարակվել է: (2011)
Programming logic and design : introductory.
: Farrell, Joyce
Հրապարակվել է: (2006)
: Farrell, Joyce
Հրապարակվել է: (2006)
Secure telematic applications for national scale projects
Հրապարակվել է: (2008)
Հրապարակվել է: (2008)
Advances in technological applications of logical and intelligent systems selected papers from the Sixth Congress on Logic Applied to Technology /
Հրապարակվել է: (2009)
Հրապարակվել է: (2009)
Identity, security and democracy the wider social and ethical implications of automated systems for human identification /
Հրապարակվել է: (2009)
Հրապարակվել է: (2009)
Logics and languages for reliability and security
Հրապարակվել է: (2010)
Հրապարակվել է: (2010)
Software and systems safety specification and verification /
Հրապարակվել է: (2011)
Հրապարակվել է: (2011)
A guide to programming logic and design /
: Farrell, Joyce
Հրապարակվել է: (1999)
: Farrell, Joyce
Հրապարակվել է: (1999)
Software systems safety /
Հրապարակվել է: (2014)
Հրապարակվել է: (2014)
Information security applications : 7th International Workshop, WISA 2006 Jeju Island, Korea, August 28-30, 2006 revised selected papers /
Հրապարակվել է: (2006)
Հրապարակվել է: (2006)
Securing information and communications systems principles, technologies, and applications /
Հրապարակվել է: (2008)
Հրապարակվել է: (2008)
Security 2020 reduce security risks this decade /
: Howard, Doug
Հրապարակվել է: (2011)
: Howard, Doug
Հրապարակվել է: (2011)
Verification of infinite-state systems with applications to security
Հրապարակվել է: (2006)
Հրապարակվել է: (2006)
Formal Logic /
: Gregory, Paul A.
Հրապարակվել է: (2017)
: Gregory, Paul A.
Հրապարակվել է: (2017)
Mathematical aspects of logic programming semantics /
: Hitzler, Pascal, և այլն
Հրապարակվել է: (2011)
: Hitzler, Pascal, և այլն
Հրապարակվել է: (2011)
Securing the cloud cloud computer security techniques and tactics /
: Winkler, J. R. (Joachim R.)
Հրապարակվել է: (2011)
: 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)
Հրապարակվել է: (2001)
Demystifying Intelligent Multimode Security Systems : An Edge-To-Cloud Cybersecurity Solutions Guide /
: Booth, Jody
Հրապարակվել է: (2023)
: Booth, Jody
Հրապարակվել է: (2023)
Computer security fundamentals /
: Easttom, Chuck
Հրապարակվել է: (2006)
: Easttom, Chuck
Հրապարակվել է: (2006)
Mastering network security
: Brenton, Chris
Հրապարակվել է: (2003)
: Brenton, Chris
Հրապարակվել է: (2003)
Meaning, logic and ludics
: Lecomte, Alain, 1947-
Հրապարակվել է: (2011)
: Lecomte, Alain, 1947-
Հրապարակվել է: (2011)
The misuse of information systems the impact of security countermeasures /
: D'Arcy, John P., 1975-
Հրապարակվել է: (2007)
: D'Arcy, John P., 1975-
Հրապարակվել է: (2007)
Formal logic : a philosophical approach /
: Hoyningen-Huene, Paul, 1946-
Հրապարակվել է: (2004)
: Hoyningen-Huene, Paul, 1946-
Հրապարակվել է: (2004)
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)
Հրապարակվել է: (2002)
Reasoning and formal logic : essays on logic as the art of reasoning well /
: Epstein, Richard L.
Հրապարակվել է: (2015)
: Epstein, Richard L.
Հրապարակվել է: (2015)
Securing HP NonStop servers in an open systems world TCP/IP, OSS & SQL /
Հրապարակվել է: (2006)
Հրապարակվել է: (2006)
Formal methods applied to complex systems : implementation of the B method /
Հրապարակվել է: (2014)
Հրապարակվել է: (2014)
Soft computing systems design, management and applications /
Հրապարակվել է: (2002)
Հրապարակվել է: (2002)
Computer security /
: Gollmann, Dieter
Հրապարակվել է: (2006)
: Gollmann, Dieter
Հրապարակվել է: (2006)
Developing secure distributed systems with CORBA
: Lang, Ulrich
Հրապարակվել է: (2002)
: Lang, Ulrich
Հրապարակվել է: (2002)
Managing information security
Հրապարակվել է: (2010)
Հրապարակվել է: (2010)
Trust and security in collaborative computing
: Zou, Xukai, 1963-
Հրապարակվել է: (2008)
: Zou, Xukai, 1963-
Հրապարակվել է: (2008)
Web commerce security design and development /
: Nahari, Hadi
Հրապարակվել է: (2011)
: Nahari, Hadi
Հրապարակվել է: (2011)