國立虎尾科技大學 |

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

紀錄類型:	書目-語言資料,印刷品 : Monograph/item
正題名/作者:	Engineering secure software and systems/ edited by Eric Bodden, Mathias Payer, Elias Athanasopoulos.
其他題名:	9th International Symposium, ESSoS 2017, Bonn, Germany, July 3-5, 2017 : proceedings /
其他題名:	ESSoS 2017
其他作者:	Bodden, Eric.
團體作者:	Workshop on the Preservation of Stability under Discretization
出版者:	Cham :Springer International Publishing : : 2017.,
面頁冊數:	x, 241 p. :ill., digital ; : 24 cm.;
Contained By:	Springer eBooks
標題:	Computer security - Congresses. -
電子資源:	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)