國立高雄大學圖資館 |

Language: English

Back

Engineering secure software and syst...

(1998 :)

Engineering secure software and systems8th International Symposium, ESSoS 2016, London, UK, April 6-8, 2016 : proceedings /

Record Type:	Electronic resources : Monograph/item
Title/Author:	Engineering secure software and systemsedited by Juan Caballero, Eric Bodden, Elias Athanasopoulos.
Reminder of title:	8th International Symposium, ESSoS 2016, London, UK, April 6-8, 2016 : proceedings /
remainder title:	ESSoS 2016
other author:	Caballero, Juan.
corporate name:
Published:	Cham :Springer International Publishing :2016.
Description:	x, 269 p. :ill., digital ;24 cm.
Contained By:	Springer eBooks
Subject:	Computer securityCongresses.
Online resource:	http://dx.doi.org/10.1007/978-3-319-30806-7
ISBN:	9783319308067$q(electronic bk.)

Engineering secure software and systems8th International Symposium, ESSoS 2016, London, UK, April 6-8, 2016 : proceedings /
Engineering secure software and systems8th International Symposium, ESSoS 2016, London, UK, April 6-8, 2016 : proceedings /[electronic resource] :ESSoS 2016edited by Juan Caballero, Eric Bodden, Elias Athanasopoulos. - Cham :Springer International Publishing :2016. - x, 269 p. :ill., digital ;24 cm. - Lecture notes in computer science,96390302-9743 ;. - Lecture notes in computer science ;4891..

This book constitutes the refereed proceedings of the 8th International Symposium on Engineering Secure Software and Systems, ESSoS 2016, held in London, UK, in April 2016. The 13 full papers presented together with 3 short papers and 1 invited talk were carefully reviewed and selected from 50 submissions. The goal of this symposium, is to bring together researchers and practitioners to advance the states of the art and practice in secure software engineering. The presentations and associated publications at ESSoS 2016 contribute to this goal in several directions: First, by improving methodologies for secure software engineering (such as flow analysis and policy compliance) Second, with results for the detection and analysis of software vulnerabilities and the attacks they enable. Finally, for securing software for specific application domains (such as mobile devices and access control)

ISBN: 9783319308067$q(electronic bk.)

Standard No.: 10.1007/978-3-319-30806-7doiSubjects--Topical Terms:

383239
Computer security
--Congresses.

LC Class. No.: QA76.9.A25 / E77 2016

Dewey Class. No.: 005.8

Engineering secure software and systems8th International Symposium, ESSoS 2016, London, UK, April 6-8, 2016 : proceedings /
LDR:02029nmm a2200325 a 4500 001 483831
003 DE-He213
005 20160912134834.0
006 m d
007 cr nn 008maaau
008 161012s2016 gw s 0 eng d
020 $a 9783319308067$q(electronic bk.)
020 $a 9783319308050$q(paper)
024 7 $a 10.1007/978-3-319-30806-7 $2 doi
035 $a 978-3-319-30806-7
040 $a GP $c GP
041 0 $a eng
050 4 $a QA76.9.A25 $b E77 2016
072 7 $a UKN $2 bicssc
072 7 $a COM075000 $2 bisacsh
082 0 4 $a 005.8 $2 23
090 $a QA76.9.A25 $b E78 2016
111 2 $n (3rd : $d 1998 : $c Amsterdam, Netherlands) $3 194767
245 1 0 $a Engineering secure software and systems $h [electronic resource] : $b 8th International Symposium, ESSoS 2016, London, UK, April 6-8, 2016 : proceedings / $c edited by Juan Caballero, Eric Bodden, Elias Athanasopoulos.
246 3 $a ESSoS 2016
260 $a Cham : $b Springer International Publishing : $b Imprint: Springer, $c 2016.
300 $a x, 269 p. : $b ill., digital ; $c 24 cm.
490 1 $a Lecture notes in computer science, $x 0302-9743 ; $v 9639
520 $a This book constitutes the refereed proceedings of the 8th International Symposium on Engineering Secure Software and Systems, ESSoS 2016, held in London, UK, in April 2016. The 13 full papers presented together with 3 short papers and 1 invited talk were carefully reviewed and selected from 50 submissions. The goal of this symposium, is to bring together researchers and practitioners to advance the states of the art and practice in secure software engineering. The presentations and associated publications at ESSoS 2016 contribute to this goal in several directions: First, by improving methodologies for secure software engineering (such as flow analysis and policy compliance) Second, with results for the detection and analysis of software vulnerabilities and the attacks they enable. Finally, for securing software for specific application domains (such as mobile devices and access control)
650 0 $a Computer security $v Congresses. $3 383239
650 0 $a Software engineering $3 253562
650 0 $a Data encryption (Computer science) $3 184520
650 1 4 $a Computer Science. $3 212513
650 2 4 $a Computer Communication Networks. $3 218087
650 2 4 $a Data Encryption. $3 273765
650 2 4 $a Software Engineering/Programming and Operating Systems. $3 273711
650 2 4 $a Algorithm Analysis and Problem Complexity. $3 273702
650 2 4 $a Math Applications in Computer Science. $3 273991
650 2 4 $a Models and Principles. $3 273718
700 1 $a Caballero, Juan. $3 714091
700 1 $a Bodden, Eric. $3 741771
700 1 $a Athanasopoulos, Elias. $3 741772
710 2 $a SpringerLink (Online service) $3 273601
773 0 $t Springer eBooks
830 0 $a Lecture notes in computer science ; $v 4891. $3 383229
856 4 0 $u http://dx.doi.org/10.1007/978-3-319-30806-7
950 $a Computer Science (Springer-11645)