{"title":"David Basin","description":null,"products":[{"product_id":"applied-information-security-book-david-basin-9783642244735","title":"Applied Information Security","description":"This book explores fundamental principles for securing IT systems and illustrates them with hands-on experiments that may be carried out by the reader using accompanying software. It details different countermeasures and their implementation.","brand":"WoB","offers":[{"title":"US \/ GOOD \/ SBYB","offer_id":49701841862929,"sku":"CIN3642244734G","price":0.0,"currency_code":"GBP","in_stock":false},{"title":"US \/ VERY_GOOD \/ SBYB","offer_id":51728118022417,"sku":"CIN3642244734VG","price":0.0,"currency_code":"GBP","in_stock":false},{"title":"GB \/ NEW \/ INGRAM","offer_id":52327442448657,"sku":"NLS9783642244735","price":0.0,"currency_code":"GBP","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0784\/4072\/6801\/files\/3642244734.jpg?v=1750870673"},{"product_id":"theorem-proving-in-higher-order-logics-book-david-basin-9783540406648","title":"Theorem Proving in Higher Order Logics","description":"This volume constitutes the proceedings of the16th International Conference on Theorem Proving in Higher Order Logics (TPHOLs 2003) held September 8-12, 2003 in Rome, Italy.","brand":"WoB","offers":[{"title":"- \/ - \/ INTERNAL","offer_id":52355341222161,"sku":null,"price":0.0,"currency_code":"GBP","in_stock":true},{"title":"GB \/ NEW \/ INGRAM","offer_id":52355341877521,"sku":"NLS9783540406648","price":0.0,"currency_code":"GBP","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0784\/4072\/6801\/files\/9783540406648.jpg?v=1785753473"},{"product_id":"automated-reasoning-book-david-basin-9783540223450","title":"Automated Reasoning","description":"This volume constitutes the proceedings of the 2nd International Joint C- ference on Automated Reasoning (IJCAR 2004) held July 4-8, 2004 in Cork, Ireland. IJCAR 2004 continued the tradition established at the ?rst IJCAR in Siena,Italyin2001,whichbroughttogetherdi'erentresearchcommunitieswo- ing in automated reasoning. The current IJCAR is the fusion of the following conferences: CADE: The International Conference on Automated Deduction, CALCULEMUS: Symposium on the Integration of Symbolic Computation and Mechanized Reasoning, FroCoS: Workshop on Frontiers of Combining Systems, FTP: The International Workshop on First-Order Theorem Proving, and TABLEAUX: The International Conference on Automated Reasoning with Analytic Tableaux and Related Methods. There were 74 research papers submitted to IJCAR as well as 12 system descriptions. After extensive reviewing, 26 research papers and 6 system - scriptions were accepted for presentation at the conference and publication in this volume. In addition, this volume also contains papers from the three invited speakers and a description of the CADE ATP system competition. We would like to acknowledge the enormous amount of work put in by the members of the program committee, the various organizing and steering c- mittees, the IJCAR o'cials, the invited speakers, and the additional referees named on the following pages. We would also like to thank Achim Brucker and Barbara Geiser for their help in producing this volume.","brand":"WoB","offers":[{"title":"- \/ - \/ INTERNAL","offer_id":52406602039569,"sku":null,"price":0.0,"currency_code":"GBP","in_stock":true},{"title":"GB \/ NEW \/ INGRAM","offer_id":52406602727697,"sku":"NLS9783540223450","price":0.0,"currency_code":"GBP","in_stock":false}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0784\/4072\/6801\/files\/9783540223450.jpg?v=1786105597"},{"product_id":"labelled-deduction-book-david-basin-9780792362371","title":"Labelled Deduction","description":"Labelled deduction is an approach to providing frameworks for  presenting and using different logics in a uniform and natural way by  enriching the language of a logic with additional information of a  semantic proof-theoretical nature.","brand":"WoB","offers":[{"title":"- \/ - \/ INTERNAL","offer_id":52430367424785,"sku":null,"price":0.0,"currency_code":"GBP","in_stock":true},{"title":"GB \/ NEW \/ INGRAM","offer_id":52430368112913,"sku":"NLS9780792362371","price":0.0,"currency_code":"GBP","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0784\/4072\/6801\/files\/9780792362371.jpg?v=1786030537"},{"product_id":"modeling-and-analyzing-security-protocols-with-tamarin-book-david-basin-9783031909351","title":"Modeling and Analyzing Security Protocols with Tamarin","description":"\u003cp\u003eThe Tamarin prover is an open-source analysis tool for cryptographic protocols. Given a specification of a protocol, possible adversaries, and the desired security properties, Tamarin either verifies the protocol or provides counter examples witnessing attacks. Tamarin is a robust and powerful analysis tool: it has been under development for over a decade and has reached a state of maturity where it can be applied to model and analyze a wide range of real-world cryptographic protocols. It is now one of the leading tools in this domain, with a wide and active user community spanning both academia and industry. \u003c\/p\u003e\n\n\u003cp\u003eThe objective of this book is to help both researchers and practitioners to gain a general understanding of how Formal Methods tools like Tamarin can be used to analyze and improve the quality of real-world protocols. Moreover, we specifically showcase the Tamarin prover and provide guidance on its usage. In this sense, this book provides a user’s manual forTamarin. But it goes far beyond that, highlighting Tamarin’s underlying theory and its use in modeling and applications.\u003c\/p\u003e","brand":"WoB","offers":[{"title":"GB \/ NEW \/ INGRAM","offer_id":52480335184145,"sku":"NLS9783031909351","price":0.0,"currency_code":"GBP","in_stock":true},{"title":"US \/ NEW \/ INGRAM","offer_id":52760563056913,"sku":"NIN9783031909351","price":0.0,"currency_code":"GBP","in_stock":false}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0784\/4072\/6801\/files\/9783031909351.jpg?v=1786443078"},{"product_id":"principles-of-security-and-trust-book-david-basin-9783642368295","title":"Principles of Security and Trust","description":"This book constitutes the refereed proceedings of the Second International Conference on Principles of Security and Trust, POST 2013, held as part of the European Joint Conference on Theory and Practice of Software, ETAPS 2013, in Rome, Italy, in March 2013. The 14 papers included in this volume were carefully reviewed and selected from 59 submissions. They deal with the theoretical and foundational aspects of security and trust such as new theoretical results, practical applications of existing foundational ideas, and innovative theoretical approaches stimulated by pressing practical problems.","brand":"WoB","offers":[{"title":"GB \/ NEW \/ INGRAM","offer_id":52679632355601,"sku":"NLS9783642368295","price":0.0,"currency_code":"GBP","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0784\/4072\/6801\/files\/9783642368295.jpg?v=1762311042"},{"product_id":"theorem-proving-in-higher-order-logics-book-david-basin-9783662199480","title":"Theorem Proving in Higher Order Logics","description":null,"brand":"WoB","offers":[{"title":"GB \/ NEW \/ INGRAM","offer_id":52682258219281,"sku":"NLS9783662199480","price":0.0,"currency_code":"GBP","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0784\/4072\/6801\/files\/9783662199480.jpg?v=1762317676"},{"product_id":"labelled-deduction-book-david-basin-9789401057813","title":"Labelled Deduction","description":"Labelled deduction is an approach to providing frameworks for  presenting and using different logics in a uniform and natural way by  enriching the language of a logic with additional information of a  semantic proof-theoretical nature. \u003cbr\u003e  Labelled deduction systems often possess attractive properties, such  as modularity in the way that families of related logics are  presented, parameterised proofs of metatheoretic properties, and ease  of mechanisability. It is thus not surprising that labelled deduction  has been applied to problems in computer science, AI, mathematical  logic, cognitive science, philosophy and computational linguistics  - for example, formalizing and reasoning about dynamic `state  oriented' properties such as knowledge, belief, time, space, and  resources.","brand":"WoB","offers":[{"title":"GB \/ NEW \/ INGRAM","offer_id":52687417180433,"sku":"NLS9789401057813","price":0.0,"currency_code":"GBP","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0784\/4072\/6801\/files\/9789401057813.jpg?v=1785979378"},{"product_id":"applied-information-security-book-david-basin-9783642436321","title":"Applied Information Security","description":"\u003cp\u003eThis book explores fundamental principles for securing IT systems and illustrates them with hands-on experiments that may be carried out by the reader using accompanying software. The experiments highlight key information security problems that arise in modern operating systems, networks, and web applications. The authors explain how to identify and exploit such problems and they show different countermeasures and their implementation. The reader thus gains a detailed understanding of how vulnerabilities arise and practical experience tackling them.\u003c\/p\u003e\u003cp\u003eAfter presenting the basics of security principles, virtual environments, and network services, the authors explain the core security principles of authentication and access control, logging and log analysis, web application security, certificates and public-key cryptography, and risk management. The book concludes with appendices on the design of related courses, report templates, and the basics of Linux as needed for the assignments.\u003c\/p\u003e\u003cp\u003eThe authors have successfully taught IT security to students and professionals using the content of this book and the laboratory setting it describes. The book can be used in undergraduate or graduate laboratory courses, complementing more theoretically oriented courses, and it can also be used for self-study by IT professionals who want hands-on experience in applied information security. The authors' supporting software is freely available online and the text is supported throughout with exercises.\u003c\/p\u003e","brand":"WoB","offers":[{"title":"GB \/ NEW \/ INGRAM","offer_id":53522306072849,"sku":"NLS9783642436321","price":0.0,"currency_code":"GBP","in_stock":false}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0784\/4072\/6801\/files\/9783642436321.jpg?v=1786614131"}],"url":"https:\/\/www.worldofbooks.com\/en-au\/collections\/author-books-by-david-basin.oembed","provider":"World of Books ","version":"1.0","type":"link"}