Cargando…
Software system reliability and security /
To make communication and computation secure against catastrophic failure and malicious interference, it is essential to build secure software systems and methods for their development. This book describes the ideas on how to meet these challenges in software engineering.
| Clasificación: | Libro Electrónico |
|---|---|
| Otros Autores: | , , |
| Formato: | Electrónico eBook |
| Idioma: | Inglés |
| Publicado: |
Amsterdam ; Washington, DC :
IOS Press,
©2007.
|
| Colección: | NATO security through science series. Information and communication security ;
v. 9. |
| Temas: | |
| Acceso en línea: | Texto completo |
MARC
| LEADER | 00000cam a2200000 a 4500 | ||
|---|---|---|---|
| 001 | EBSCO_ocn290589228 | ||
| 003 | OCoLC | ||
| 005 | 20231017213018.0 | ||
| 006 | m o d | ||
| 007 | cr cn||||||||| | ||
| 008 | 070511s2007 ne a ob 100 0 eng d | ||
| 040 | |a CaPaEBR |b eng |e pn |c COCUF |d OCLCQ |d N$T |d YDXCP |d IOSPR |d OCLCE |d IDEBK |d OCLCQ |d LYU |d E7B |d OCLCQ |d FVL |d OCLCQ |d MERUC |d EBLCP |d OCLCO |d OCLCQ |d OCLCF |d OCLCQ |d OCLCO |d DEBSZ |d OCLCO |d OCLCQ |d OCLCO |d OCL |d OCLCO |d OCLCQ |d AZK |d AGLDB |d MOR |d PIFBR |d ZCU |d OCLCQ |d U3W |d OCLCA |d BRL |d STF |d WRM |d JBG |d OCLCQ |d VTS |d EZ9 |d ICG |d INT |d VT2 |d OCLCQ |d WYU |d A6Q |d OCLCQ |d DKC |d OCLCQ |d CEF |d M8D |d NLW |d OCLCQ |d UKCRE |d AJS |d OCLCO |d OCLCQ |d OCLCO | ||
| 019 | |a 170931716 |a 171562451 |a 491261860 |a 608476772 |a 632697490 |a 648307892 |a 658630561 |a 722592988 |a 728029223 |a 744987067 |a 814502460 |a 961525785 |a 962592654 |a 974199651 |a 974456569 |a 980278061 |a 981361481 |a 988503593 |a 991584556 |a 992068421 |a 1005640423 |a 1018084014 |a 1037505915 |a 1038684090 |a 1042317894 |a 1047576674 |a 1049142120 |a 1055255708 |a 1055403749 |a 1064045376 |a 1076314245 |a 1081225326 |a 1096480301 |a 1118144670 |a 1121005874 |a 1135961058 |a 1153518688 |a 1159183753 |a 1228582350 | ||
| 020 | |a 9781429492232 |q (electronic bk.) | ||
| 020 | |a 1429492236 |q (electronic bk.) | ||
| 020 | |a 1433708744 | ||
| 020 | |a 9781433708749 | ||
| 020 | |a 9781607502364 | ||
| 020 | |a 1607502364 | ||
| 020 | |z 9781586037314 |q (hd. bd.) | ||
| 020 | |z 1586037315 |q (hd. bd.) | ||
| 029 | 1 | |a AU@ |b 000046686660 | |
| 029 | 1 | |a AU@ |b 000048756888 | |
| 029 | 1 | |a AU@ |b 000051412843 | |
| 029 | 1 | |a CHBIS |b 005885391 | |
| 029 | 1 | |a CHBIS |b 009866453 | |
| 029 | 1 | |a CHVBK |b 169142892 | |
| 029 | 1 | |a CHVBK |b 199019975 | |
| 029 | 1 | |a DEBBG |b BV043087074 | |
| 029 | 1 | |a DEBBG |b BV044125191 | |
| 029 | 1 | |a DEBSZ |b 422188484 | |
| 029 | 1 | |a DEBSZ |b 430426712 | |
| 029 | 1 | |a NZ1 |b 14237888 | |
| 035 | |a (OCoLC)290589228 |z (OCoLC)170931716 |z (OCoLC)171562451 |z (OCoLC)491261860 |z (OCoLC)608476772 |z (OCoLC)632697490 |z (OCoLC)648307892 |z (OCoLC)658630561 |z (OCoLC)722592988 |z (OCoLC)728029223 |z (OCoLC)744987067 |z (OCoLC)814502460 |z (OCoLC)961525785 |z (OCoLC)962592654 |z (OCoLC)974199651 |z (OCoLC)974456569 |z (OCoLC)980278061 |z (OCoLC)981361481 |z (OCoLC)988503593 |z (OCoLC)991584556 |z (OCoLC)992068421 |z (OCoLC)1005640423 |z (OCoLC)1018084014 |z (OCoLC)1037505915 |z (OCoLC)1038684090 |z (OCoLC)1042317894 |z (OCoLC)1047576674 |z (OCoLC)1049142120 |z (OCoLC)1055255708 |z (OCoLC)1055403749 |z (OCoLC)1064045376 |z (OCoLC)1076314245 |z (OCoLC)1081225326 |z (OCoLC)1096480301 |z (OCoLC)1118144670 |z (OCoLC)1121005874 |z (OCoLC)1135961058 |z (OCoLC)1153518688 |z (OCoLC)1159183753 |z (OCoLC)1228582350 | ||
| 037 | |a 978-1-58603-731-4 |b IOS Press |n http://www.iospress.nl | ||
| 042 | |a dlr | ||
| 050 | 4 | |a QA76.76.R44 |b S668 2007eb | |
| 072 | 7 | |a QA |2 lcco | |
| 072 | 7 | |a COM |x COM014000 |2 bisacsh | |
| 082 | 0 | 4 | |a 005 |2 22 |
| 049 | |a UAMI | ||
| 245 | 0 | 0 | |a Software system reliability and security / |c edited by Manfred Broy, Johannes Grünbauer and Tony Hoare. |
| 260 | |a Amsterdam ; |a Washington, DC : |b IOS Press, |c ©2007. | ||
| 300 | |a 1 online resource (ix, 417 pages) : |b illustrations | ||
| 336 | |a text |b txt |2 rdacontent | ||
| 337 | |a computer |b c |2 rdamedia | ||
| 338 | |a online resource |b cr |2 rdacarrier | ||
| 347 | |a data file | ||
| 490 | 1 | |a NATO security through science series. Sub-series D, Information and communication security, |x 1574-5589 ; |v v. 9 | |
| 504 | |a Includes bibliographical references. | ||
| 505 | 0 | |a Cover -- Preface -- Contents -- Logics and Automata for Software Model-Checking -- Specifying, Relating and Composing Object Oriented Interfaces, Components and Architectures -- Using Invariants to Reason About Cryptographic Protocols -- Verified Interoperable Implementations of Security Protocols -- Compensable Transactions -- Automata on Infinite Words and Their Applications in Formal Verification -- Practical Principles for Computer Security -- Engineering Requirements for System Reliability and Security -- Pervasive Verification of Distributed Real-Time Systems -- Verification and Synthesis of Reactive Programs -- Security, Privacy, Usability and Reliability (SPUR) in Mobile Networked Embedded Systems: The Case of Modern Automobiles -- A Verifying Compiler for a Multi-Threaded Object-Oriented Language -- Author Index -- Last Page. | |
| 588 | 0 | |a Print version record. | |
| 520 | |a To make communication and computation secure against catastrophic failure and malicious interference, it is essential to build secure software systems and methods for their development. This book describes the ideas on how to meet these challenges in software engineering. | ||
| 506 | |3 Use copy |f Restrictions unspecified |2 star |5 MiAaHDL | ||
| 533 | |a Electronic reproduction. |b [Place of publication not identified] : |c HathiTrust Digital Library, |d 2010. |5 MiAaHDL | ||
| 538 | |a Master and use copy. Digital master created according to Benchmark for Faithful Digital Reproductions of Monographs and Serials, Version 1. Digital Library Federation, December 2002. |u http://purl.oclc.org/DLF/benchrepro0212 |5 MiAaHDL | ||
| 583 | 1 | |a digitized |c 2010 |h HathiTrust Digital Library |l committed to preserve |2 pda |5 MiAaHDL | |
| 590 | |a eBooks on EBSCOhost |b EBSCO eBook Subscription Academic Collection - Worldwide | ||
| 650 | 0 | |a Computer software |x Reliability |v Congresses. | |
| 650 | 0 | |a Computer security |v Congresses. | |
| 650 | 6 | |a Logiciels |x Fiabilité |v Congrès. | |
| 650 | 6 | |a Sécurité informatique |v Congrès. | |
| 650 | 7 | |a REFERENCE |x General. |2 bisacsh | |
| 650 | 7 | |a Computer security |2 fast | |
| 650 | 7 | |a Computer software |x Reliability |2 fast | |
| 655 | 7 | |a Conference papers and proceedings |2 fast | |
| 700 | 1 | |a Broy, M., |d 1949- | |
| 700 | 1 | |a Grünbauer, Johannes. | |
| 700 | 1 | |a Hoare, C. A. R. |q (Charles Antony Richard), |d 1934- | |
| 776 | 0 | 8 | |i Print version: |t Software system reliability and security. |d Amsterdam ; Washington, DC : IOS Press, ©2007 |w (DLC) 2007922976 |
| 830 | 0 | |a NATO security through science series. |n D, |p Information and communication security ; |v v. 9. | |
| 856 | 4 | 0 | |u https://ebsco.uam.elogim.com/login.aspx?direct=true&scope=site&db=nlebk&AN=201981 |z Texto completo |
| 936 | |a BATCHLOAD | ||
| 938 | |a EBL - Ebook Library |b EBLB |n EBL305176 | ||
| 938 | |a EBSCOhost |b EBSC |n 201981 | ||
| 938 | |a YBP Library Services |b YANK |n 2704211 | ||
| 938 | |a YBP Library Services |b YANK |n 2625547 | ||
| 938 | |a YBP Library Services |b YANK |n 3207249 | ||
| 994 | |a 92 |b IZTAP | ||