Formal logical methods for system security and correctness
Saved in:
Corporate Authors: | NATO Advanced Study Institute on Formal Logical Methods for System Security and Correctness Marktoberdorf, Germany, ebrary, Inc |
---|---|
其他作者: | Grumberg, Orna, Nipkow, Tobias, 1958-, Pfaller, Christian |
格式: | 電子 Conference Proceeding 電子書 |
語言: | 英语 |
出版: |
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)
Securing WebLogic Server 12c learn to develop, administer, and troubleshot your WebLogic Server /
由: Masini, Luca
出版: (2012)
由: Masini, Luca
出版: (2012)
Security and embedded systems
出版: (2006)
出版: (2006)
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)
Formal Logic /
由: Gregory, Paul A.
出版: (2017)
由: Gregory, Paul A.
出版: (2017)
Verification of infinite-state systems with applications to security
出版: (2006)
出版: (2006)
Mathematical aspects of logic programming semantics /
由: Hitzler, Pascal, et al.
出版: (2011)
由: Hitzler, Pascal, et al.
出版: (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)
Formal logic : a philosophical approach /
由: Hoyningen-Huene, Paul, 1946-
出版: (2004)
由: Hoyningen-Huene, Paul, 1946-
出版: (2004)
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)
Reasoning and formal logic : essays on logic as the art of reasoning well /
由: Epstein, Richard L.
出版: (2015)
由: Epstein, Richard L.
出版: (2015)
Formal methods applied to complex systems : implementation of the B method /
出版: (2014)
出版: (2014)
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)
Securing HP NonStop servers in an open systems world TCP/IP, OSS & SQL /
出版: (2006)
出版: (2006)
Computer security /
由: Gollmann, Dieter
出版: (2006)
由: Gollmann, Dieter
出版: (2006)
Developing secure distributed systems with CORBA
由: Lang, Ulrich
出版: (2002)
由: Lang, Ulrich
出版: (2002)
相似書籍
-
Software system reliability and security
出版: (2007) -
Arithmetic and logic in computer systems
由: Lu, Mi
出版: (2004) -
Software safety and security tools for analysis and verification /
出版: (2012) -
Algorithms, architectures and information systems security
出版: (2009) -
Modelling cyber security approaches, methodology, strategies /
出版: (2009)