000			03461nam a22004575i 4500
999			_c386875 _d386875
001			386875
003			ES-MaUEC
005			20230131164127.0
006			a||||fo|||| 00| 0
007			cr nn 008mamaa
008			220601s2010 sz | s |||| 0|eng d
020			_a9783031023347
024	7		_a10.1007/978-3-031-02334-7 _2doi
040			_aES-MaUEC _bspa _cES-MaUEC _dES-MaUEC
050		4	_aQA76.9.A25 _b2010 EB
100	1		_aDatta, Anupam _eautor _4aut _4http://id.loc.gov/vocabulary/relators/aut _9686378
245	1	0	_aAnalysis Techniques for Information Security : _cby Anupam Datta, Somesh Jha, Ninghui Li, David Melski, Thomas Reps
250			_a1st edition 2010
264		1	_aCham _bSpringer International Publishing _c2010
300			_a1 recurso en línea (XI, 152 páginas)
336			_atexto _btxt _2rdacontent
337			_aelectrónico _bc _2rdamedia
338			_arecurso electrónico _bcr _2rdacarrier
347			_aarchivo de texto _bPDF
490	0		_aSynthesis Lectures on Information Security Privacy and Trust _x1945-9750
505	0		_aIntroduction -- Foundations -- Detecting Buffer Overruns Using Static Analysis -- Analyzing Security Policies -- Analyzing Security Protocols.
520			_aIncreasingly our critical infrastructures are reliant on computers. We see examples of such infrastructures in several domains, including medical, power, telecommunications, and finance. Although automation has advantages, increased reliance on computers exposes our critical infrastructures to a wider variety and higher likelihood of accidental failures and malicious attacks. Disruption of services caused by such undesired events can have catastrophic effects, such as disruption of essential services and huge financial losses. The increased reliance of critical services on our cyberinfrastructure and the dire consequences of security breaches have highlighted the importance of information security. Authorization, security protocols, and software security are three central areas in security in which there have been significant advances in developing systematic foundations and analysis methods that work for practical systems. This book provides an introduction to this work, covering representative approaches, illustrated by examples, and providing pointers to additional work in the area. Table of Contents: Introduction / Foundations / Detecting Buffer Overruns Using Static Analysis / Analyzing Security Policies / Analyzing Security Protocols.
988			_aSynthesis Collection of Technology_2010
650		7	_2embne _9158200 _aSeguridad informática
650		7	_2embne _9147793 _aProtección de datos
700	1		_aJha, Somesh _eautor _4aut _4http://id.loc.gov/vocabulary/relators/aut _9686379
700	1		_aLi, Ninghui _eautor _4aut _4http://id.loc.gov/vocabulary/relators/aut _9686380 _c(Computer scientist)
700	1		_aMelski, David _eautor _4aut _4http://id.loc.gov/vocabulary/relators/aut
700	1		_aReps, Thomas W. _eautor _4aut _4http://id.loc.gov/vocabulary/relators/aut _9686381 _q(Thomas William)
776	0	8	_iPrinted edition: _z9783031012068
776	0	8	_iPrinted edition: _z9783031034626
856	4	0	_uhttps://go.openathens.net/redirector/universidadeuropea.es?url=https://doi.org/10.1007/978-3-031-02334-7 _zAcceso a este recurso digital (usuarios Universidad Europea de Madrid)
942			_2lcc _cLE
998			_b01/2023 _dz _esc _zSI