01842nam a2200361Ia 4500001001200000003000800012006001900020007001500039008004100054020001800095020001500113040002100128035002100149050002900170111013000199245015100329260006700480300002300547490010500570500017900675504005100854533015200905650003501057650003201092655002901124700002001153700002701173700002401200710001701224830009601241856012601337999001701463ebr10231732CaPaEBRm        u        cr cn|||||||||080407s2008    ne a    sb    101 0 eng d  z9781586038434  z1586038435  aCaPaEBRcCaPaEBR  a(OCoLC)50607261014aQA76.9.A25bN3754 2007eb2 aNATO Advanced Study Institute on Formal Logical Methods for System Security and Correctnessd(2007 :cMarktoberdorf, Germany)10aFormal logical methods for system security and correctnessh[electronic resource] /cedited by Orna Grumberg, Tobias Nipkow and Christian Pfaller.  aAmsterdam, Netherlands ;aWashington, DC :bIOS Press,cc2008.  aix, 318 p. :bill.1 aNATO security through science series. D, Information and communication security,x1874-6268 ;vv. 14  a"Proceedings of the NATO Advanced Study Institute on Formal Logical Methods for System Security and Correctness, Marktoberdorf, Germany, 31 July-12 August 2007."--T.p. verso.  aIncludes bibliographical references and index.  aElectronic reproduction.bPalo Alto, Calif. :cebrary,d2011.nAvailable via World Wide Web.nAccess may be limited to ebrary affiliated libraries. 0aComputer securityvCongresses. 0aComputer logicvCongresses. 7aElectronic books.2local1 aGrumberg, Orna.1 aNipkow, Tobias,d1958-1 aPfaller, Christian.2 aebrary, Inc. 0aNATO security through science series.nD,pInformation and communication security ;vv. 14.40uhttp://site.ebrary.com/lib/rucke/Doc?id=10231732zAn electronic book accessible through the World Wide Web; click to view  c25700d25700