國立高雄大學圖資館 |

Language: English

Back

Engineering secure software and syst...

(1998 :)

Engineering secure software and systems9th International Symposium, ESSoS 2017, Bonn, Germany, July 3-5, 2017 : proceedings /

Record Type:	Electronic resources : Monograph/item
Title/Author:	Engineering secure software and systemsedited by Eric Bodden, Mathias Payer, Elias Athanasopoulos.
Reminder of title:	9th International Symposium, ESSoS 2017, Bonn, Germany, July 3-5, 2017 : proceedings /
remainder title:	ESSoS 2017
other author:	Bodden, Eric.
corporate name:
Published:	Cham :Springer International Publishing :2017.
Description:	x, 241 p. :ill., digital ;24 cm.
Contained By:	Springer eBooks
Subject:	Computer securityCongresses.
Online resource:	http://dx.doi.org/10.1007/978-3-319-62105-0
ISBN:	9783319621050$q(electronic bk.)

Engineering secure software and systems9th International Symposium, ESSoS 2017, Bonn, Germany, July 3-5, 2017 : proceedings /
Engineering secure software and systems9th International Symposium, ESSoS 2017, Bonn, Germany, July 3-5, 2017 : proceedings /[electronic resource] :ESSoS 2017edited by Eric Bodden, Mathias Payer, Elias Athanasopoulos. - Cham :Springer International Publishing :2017. - x, 241 p. :ill., digital ;24 cm. - Lecture notes in computer science,103790302-9743 ;. - Lecture notes in computer science ;4891..

Cloud security, virtualization for security -- Mobile devices security -- Automated techniques for vulnerability discovery and analysis -- Model checking for security -- Verification techniques for security properties -- Security by design -- Web applications security -- Empirical secure software engineering -- Embedded software security.

This book constitutes the refereed proceedings of the 9th International Symposium on Engineering Secure Software and Systems, ESSoS 2017, held in Bonn, Germany in July 2017. The 12 full papers presented together with 3 short papers were carefully reviewed and selected from 32 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.

ISBN: 9783319621050$q(electronic bk.)

Standard No.: 10.1007/978-3-319-62105-0doiSubjects--Topical Terms:

383239
Computer security
--Congresses.

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

Dewey Class. No.: 005.8

Engineering secure software and systems9th International Symposium, ESSoS 2017, Bonn, Germany, July 3-5, 2017 : proceedings /
LDR:01933nmm a2200337 a 4500 001 517679
003 DE-He213
005 20170623115316.0
006 m d
007 cr nn 008maaau
008 180316s2017 gw s 0 eng d
020 $a 9783319621050$q(electronic bk.)
020 $a 9783319621043$q(paper)
024 7 $a 10.1007/978-3-319-62105-0 $2 doi
035 $a 978-3-319-62105-0
040 $a GP $c GP
041 0 $a eng
050 4 $a QA76.9.A25 $b E77 2017
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 2017
111 2 $n (3rd : $d 1998 : $c Amsterdam, Netherlands) $3 194767
245 1 0 $a Engineering secure software and systems $h [electronic resource] : $b 9th International Symposium, ESSoS 2017, Bonn, Germany, July 3-5, 2017 : proceedings / $c edited by Eric Bodden, Mathias Payer, Elias Athanasopoulos.
246 3 $a ESSoS 2017
260 $a Cham : $b Springer International Publishing : $b Imprint: Springer, $c 2017.
300 $a x, 241 p. : $b ill., digital ; $c 24 cm.
490 1 $a Lecture notes in computer science, $x 0302-9743 ; $v 10379
505 0 $a Cloud security, virtualization for security -- Mobile devices security -- Automated techniques for vulnerability discovery and analysis -- Model checking for security -- Verification techniques for security properties -- Security by design -- Web applications security -- Empirical secure software engineering -- Embedded software security.
520 $a This book constitutes the refereed proceedings of the 9th International Symposium on Engineering Secure Software and Systems, ESSoS 2017, held in Bonn, Germany in July 2017. The 12 full papers presented together with 3 short papers were carefully reviewed and selected from 32 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.
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 Systems and Data Security. $3 274481
650 2 4 $a Logic Design. $3 276275
650 2 4 $a Operating Systems. $3 274474
650 2 4 $a Software Engineering. $3 274511
650 2 4 $a Data Encryption. $3 273765
700 1 $a Bodden, Eric. $3 741771
700 1 $a Payer, Mathias. $3 787356
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-62105-0
950 $a Computer Science (Springer-11645)