Cargando…

Verification of infinite-state systems with applications to security /

Provides information for researchers interested in the development of mathematical techniques for the analysis of infinite state systems. The papers come from a successful workshop.

Detalles Bibliográficos
Clasificación:Libro Electrónico
Autor Corporativo: NATO Advanced Research Workshop on Verification of Infinite-state Systems with Applications to Security Timișoara, Romania
Otros Autores: Clarke, Edmund M., Jr. (Edmund Melson), 1945-2020, Minea, Marius, Ţiplea, Ferucio Laurenţiu
Formato: Electrónico Congresos, conferencias eBook
Idioma:Inglés
Publicado: Amsterdam ; Washington, D.C. : IOS Press, ©2006.
Colección:NATO security through science series. Information and communication security ; vol. 1.
Temas:
Acceso en línea:Texto completo

MARC

LEADER 00000cam a2200000Ia 4500
001 EBSCO_ocm71251545
003 OCoLC
005 20231017213018.0
006 m o d
007 cr cnu---unuuu
008 060905s2006 ne a ob 101 0 eng d
010 |a  2005937272 
040 |a N$T  |b eng  |e pn  |c N$T  |d OCLCQ  |d HVC  |d YDXCP  |d SFB  |d CAI  |d WPG  |d IOSPR  |d IDEBK  |d OCLCE  |d E7B  |d OCLCQ  |d MHW  |d TUU  |d OCLCQ  |d MCR  |d DKDLA  |d FVL  |d OCLCQ  |d OCLCO  |d DEBSZ  |d OCLCQ  |d OCLCO  |d OCLCQ  |d OCLCO  |d EBLCP  |d OCLCO  |d OCLCQ  |d OCLCO  |d AZK  |d MOR  |d PIFBR  |d ZCU  |d OCLCQ  |d MERUC  |d OCLCQ  |d WY@  |d OCLCA  |d LUE  |d OCLCF  |d STF  |d WRM  |d VTS  |d ICG  |d VT2  |d OCLCQ  |d WYU  |d DKC  |d BNG  |d OCLCQ  |d UKCRE  |d OCLCA  |d NRAMU  |d CRU  |d EZ9  |d OCLCO  |d OCLCQ 
015 |a GBA647473  |2 bnb 
016 7 |a 013467698  |2 Uk 
019 |a 191037906  |a 243613663  |a 276799357  |a 473704868  |a 488644723  |a 491253452  |a 607734058  |a 609301881  |a 613357324  |a 722472606  |a 728016947  |a 961511713  |a 962709363  |a 988501191  |a 992060915  |a 1037713637  |a 1038681167  |a 1045524695  |a 1055404825  |a 1066549417  |a 1081234271  |a 1153551999  |a 1228567727  |a 1249216805 
020 |a 1423797426  |q (electronic bk.) 
020 |a 9781423797425  |q (electronic bk.) 
020 |a 1601291272 
020 |a 9781601291271 
020 |a 9781607501473 
020 |a 1607501473 
020 |z 1586035703  |q (cloth) 
020 |z 9781586035709 
029 1 |a AU@  |b 000046686654 
029 1 |a AU@  |b 000051420652 
029 1 |a AU@  |b 000060051209 
029 1 |a CHBIS  |b 005889425 
029 1 |a CHBIS  |b 009866690 
029 1 |a CHVBK  |b 198086350 
029 1 |a CHVBK  |b 199099731 
029 1 |a DEBBG  |b BV043100011 
029 1 |a DEBBG  |b BV044083683 
029 1 |a DEBSZ  |b 396089941 
029 1 |a DEBSZ  |b 422265683 
029 1 |a DEBSZ  |b 430344171 
029 1 |a DEBSZ  |b 45642041X 
029 1 |a GBVCP  |b 802166695 
029 1 |a NZ1  |b 12438009 
035 |a (OCoLC)71251545  |z (OCoLC)191037906  |z (OCoLC)243613663  |z (OCoLC)276799357  |z (OCoLC)473704868  |z (OCoLC)488644723  |z (OCoLC)491253452  |z (OCoLC)607734058  |z (OCoLC)609301881  |z (OCoLC)613357324  |z (OCoLC)722472606  |z (OCoLC)728016947  |z (OCoLC)961511713  |z (OCoLC)962709363  |z (OCoLC)988501191  |z (OCoLC)992060915  |z (OCoLC)1037713637  |z (OCoLC)1038681167  |z (OCoLC)1045524695  |z (OCoLC)1055404825  |z (OCoLC)1066549417  |z (OCoLC)1081234271  |z (OCoLC)1153551999  |z (OCoLC)1228567727  |z (OCoLC)1249216805 
037 |a 978-1-58603-570-9  |b IOS Press  |n http://www.iospress.nl 
042 |a dlr 
050 4 |a Q295  |b .N38 2005eb 
072 7 |a COM  |x COM014000  |2 bisacsh 
082 0 4 |a 005.8  |2 22 
049 |a UAMI 
111 2 |a NATO Advanced Research Workshop on Verification of Infinite-state Systems with Applications to Security  |d (2005 :  |c Timișoara, Romania) 
245 1 0 |a Verification of infinite-state systems with applications to security /  |c edited by Edmund Clarke, Marius Minea and Ferucio Laurenţiu Ţiplea. 
260 |a Amsterdam ;  |a Washington, D.C. :  |b IOS Press,  |c ©2006. 
300 |a 1 online resource (vii, 235 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  |2 rda 
490 1 |a NATO security through science series. D : Information and communication security ;  |v vol. 1 
500 |a Proceedings of the NATO Advanced Research Workshop on Verification of Infinite-state Systems with Applications to Security, Timaşoara, Romania, March 17-22, 2005. 
504 |a Includes bibliographical references and author index. 
505 0 |a Title page; Preface; Committees; Contents; Number-Set Representations for Infinite-State Verification; Regular Model Checking for Programs with Dynamic Memory; Automatic Verification of Security Properties Based on Abstractions; Grand Challenge: Model Check Software; A Class of Automata for Computing Reachability Relations in Timed Systems; Practical Infinite-State Verification with Temporal Reasoning; Quantum States and Quantum Measurements; Automatic Test Generation and Monitoring of Infinite States Systems; Cryptographic Primitives Can Be Fragile. 
520 |a Provides information for researchers interested in the development of mathematical techniques for the analysis of infinite state systems. The papers come from a successful workshop. 
588 0 |a Print version record. 
506 |3 Use copy  |f Restrictions unspecified  |2 star  |5 MiAaHDL 
533 |a Electronic reproduction.  |b [S.l.] :  |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 System theory  |x Mathematical models  |v Congresses. 
650 0 |a System theory  |x Security measures  |v Congresses. 
650 0 |a Computer security  |v Congresses. 
650 0 |a Computer software  |x Verification  |v Congresses. 
650 6 |a Théorie des systèmes  |x Modèles mathématiques  |v Congrès. 
650 6 |a Théorie des systèmes  |x Sécurité  |x Mesures  |v Congrès. 
650 6 |a Sécurité informatique  |v Congrès. 
650 6 |a Logiciels  |x Vérification  |v Congrès. 
650 7 |a COMPUTERS  |x Internet  |x Security.  |2 bisacsh 
650 7 |a COMPUTERS  |x Networking  |x Security.  |2 bisacsh 
650 7 |a COMPUTERS  |x Security  |x General.  |2 bisacsh 
650 7 |a Computer security.  |2 fast  |0 (OCoLC)fst00872484 
650 7 |a Computer software  |x Verification.  |2 fast  |0 (OCoLC)fst00872604 
650 7 |a System theory  |x Mathematical models.  |2 fast  |0 (OCoLC)fst01141427 
653 1 |a Infinite-state systems 
653 1 |a Security 
653 1 |a VISSAS 
655 7 |a Conference papers and proceedings.  |2 fast  |0 (OCoLC)fst01423772 
700 1 |a Clarke, Edmund M.,  |c Jr.  |q (Edmund Melson),  |d 1945-2020. 
700 1 |a Minea, Marius. 
700 1 |a Ţiplea, Ferucio Laurenţiu. 
776 0 8 |i Print version:  |a NATO Advanced Research Workshop on Verification of Infinite-state Systems with Applications to Security (2005 Mar. 17-22 : Timaşoara, Romania).  |t Verification of infinite-state systems with applications to security.  |d Amsterdam ; Washington, D.C. : IOS Press, ©2006  |z 1586035703  |w (DLC) 2005937272  |w (OCoLC)65661588 
830 0 |a NATO security through science series.  |n D,  |p Information and communication security ;  |v vol. 1. 
856 4 0 |u https://ebsco.uam.elogim.com/login.aspx?direct=true&scope=site&db=nlebk&AN=164059  |z Texto completo 
938 |a EBL - Ebook Library  |b EBLB  |n EBL265966 
938 |a ebrary  |b EBRY  |n ebr10130654 
938 |a EBSCOhost  |b EBSC  |n 164059 
938 |a ProQuest MyiLibrary Digital eBook Collection  |b IDEB  |n 50510 
938 |a YBP Library Services  |b YANK  |n 3207164 
938 |a YBP Library Services  |b YANK  |n 2468034 
938 |a YBP Library Services  |b YANK  |n 2628204 
994 |a 92  |b IZTAP