國立虎尾科技大學 |

Engineering secure software and systems = 9th International Symposium, ESSoS 2017, Bonn, Germany, July 3-5, 2017 : proceedings /

Record Type:	Language materials, printed : Monograph/item
Title/Author:	Engineering secure software and systems/ edited 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:	Workshop on the Preservation of Stability under Discretization
Published:	Cham :Springer International Publishing : : 2017.,
Description:	x, 241 p. :ill., digital ; : 24 cm.;
Contained By:	Springer eBooks
Subject:	Computer security - Congresses. -
Online resource:	http://dx.doi.org/10.1007/978-3-319-62105-0
ISBN:	9783319621050

Engineering secure software and systems = 9th 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 ;6140..

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

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

574522
Computer security
--Congresses.

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

Dewey Class. No.: 005.8

Engineering secure software and systems = 9th International Symposium, ESSoS 2017, Bonn, Germany, July 3-5, 2017 : proceedings /
LDR:01933nam a2200337 a 4500 001 905643
003 DE-He213
005 20170623115316.0
006 m d
007 cr nn 008maaau
008 190308s2017 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 $a Workshop on the Preservation of Stability under Discretization $d (2001 : $c Fort Collins, Colo.) $3 527686
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 : $c 2017. $b Springer International Publishing : $b Imprint: Springer,
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 574522 $3 727780
650 0 $a Software engineering $v Congresses. $3 528500
650 0 $a Data encryption (Computer science) $3 658943
650 1 4 $a Computer Science. $3 593922
650 2 4 $a Computer Communication Networks. $3 669310
650 2 4 $a Systems and Data Security. $3 677062
650 2 4 $a Logic Design. $3 670915
650 2 4 $a Operating Systems. $3 669804
650 2 4 $a Software Engineering. $3 669632
650 2 4 $a Data Encryption. $3 669790
700 1 $a Bodden, Eric. $3 1077028
700 1 $a Payer, Mathias. $3 1172882
700 1 $a Athanasopoulos, Elias. $3 1106618
710 2 $a SpringerLink (Online service) $3 593884
773 0 $t Springer eBooks
830 0 $a Lecture notes in computer science ; $v 6140. $3 744199
856 4 0 $u http://dx.doi.org/10.1007/978-3-319-62105-0
950 $a Computer Science (Springer-11645)