大葉大學圖書館 |

Engineering secure software and systems[electronic resource] :7th International Symposium, ESSoS 2015, Milan, Italy, March 4-6, 2015 : proceedings /

紀錄類型:	書目-語言資料,印刷品 : Monograph/item
杜威分類號:	005.8
書名/作者:	Engineering secure software and systems : 7th International Symposium, ESSoS 2015, Milan, Italy, March 4-6, 2015 : proceedings // edited by Frank Piessens, Juan Caballero, Nataliia Bielova.
其他作者:	Piessens, Frank.
團體作者:	Clark Conference
出版者:	Cham : : Springer International Publishing :, 2015.
面頁冊數:	xii, 227 p. : : ill., digital ;; 24 cm.
Contained By:	Springer eBooks
標題:	Computer security
標題:	Software engineering
標題:	Data encryption (Computer science)
標題:	Computer Science.
標題:	Computer Communication Networks.
標題:	Data Encryption.
標題:	Software Engineering/Programming and Operating Systems.
標題:	Algorithm Analysis and Problem Complexity.
標題:	Math Applications in Computer Science.
標題:	Models and Principles.
ISBN:	9783319156187 (electronic bk.)
ISBN:	9783319156170 (paper)
內容註:	Formal methods -- Cloud passwords -- Machine learning -- Measurements ontologies -- Access control.
摘要、提要註:	This book constitutes the refereed proceedings of the 7th International Symposium on Engineering Secure Software and Systems, ESSoS 2015, held in Milan, Italy, in March 2015. The 11 full papers presented together with 5 short papers were carefully reviewed and selected from 41 submissions. The symposium features the following topics: formal methods; cloud passwords; machine learning; measurements ontologies; and access control.
電子資源:	http://dx.doi.org/10.1007/978-3-319-15618-7

Engineering secure software and systems[electronic resource] :7th International Symposium, ESSoS 2015, Milan, Italy, March 4-6, 2015 : proceedings /
Engineering secure software and systems7th International Symposium, ESSoS 2015, Milan, Italy, March 4-6, 2015 : proceedings /[electronic resource] :edited by Frank Piessens, Juan Caballero, Nataliia Bielova. - Cham :Springer International Publishing :2015. - xii, 227 p. :ill., digital ;24 cm. - Lecture notes in computer science,89780302-9743 ;. - Lecture notes in computer science ;7103..

Formal methods -- Cloud passwords -- Machine learning -- Measurements ontologies -- Access control.

This book constitutes the refereed proceedings of the 7th International Symposium on Engineering Secure Software and Systems, ESSoS 2015, held in Milan, Italy, in March 2015. The 11 full papers presented together with 5 short papers were carefully reviewed and selected from 41 submissions. The symposium features the following topics: formal methods; cloud passwords; machine learning; measurements ontologies; and access control.

ISBN: 9783319156187 (electronic bk.)

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

158051
Computer security

LC Class. No.: QA76.9.A25

Dewey Class. No.: 005.8

Engineering secure software and systems[electronic resource] :7th International Symposium, ESSoS 2015, Milan, Italy, March 4-6, 2015 : proceedings /
LDR:01640nam a2200325 a 4500 001 426624
003 DE-He213
005 20150916140007.0
006 m d
007 cr nn 008maaau
008 151119s2015 gw s 0 eng d
020 $a 9783319156187 (electronic bk.)
020 $a 9783319156170 (paper)
024 7 $a 10.1007/978-3-319-15618-7 $2 doi
035 $a 978-3-319-15618-7
040 $a GP $c GP
041 0 $a eng
050 4 $a QA76.9.A25
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 2015
111 2 $a Clark Conference $d (2005 : $c Sterling and Francine Clark Art Institute) $3 347558
245 1 0 $a Engineering secure software and systems $h [electronic resource] : $b 7th International Symposium, ESSoS 2015, Milan, Italy, March 4-6, 2015 : proceedings / $c edited by Frank Piessens, Juan Caballero, Nataliia Bielova.
260 $a Cham : $b Springer International Publishing : $b Imprint: Springer, $c 2015.
300 $a xii, 227 p. : $b ill., digital ; $c 24 cm.
490 1 $a Lecture notes in computer science, $x 0302-9743 ; $v 8978
505 0 $a Formal methods -- Cloud passwords -- Machine learning -- Measurements ontologies -- Access control.
520 $a This book constitutes the refereed proceedings of the 7th International Symposium on Engineering Secure Software and Systems, ESSoS 2015, held in Milan, Italy, in March 2015. The 11 full papers presented together with 5 short papers were carefully reviewed and selected from 41 submissions. The symposium features the following topics: formal methods; cloud passwords; machine learning; measurements ontologies; and access control.
650 0 $a Computer security $3 158051
650 0 $a Software engineering $3 135422
650 0 $a Data encryption (Computer science) $3 369827
650 1 4 $a Computer Science. $3 423143
650 2 4 $a Computer Communication Networks. $3 464535
650 2 4 $a Data Encryption. $3 465773
650 2 4 $a Software Engineering/Programming and Operating Systems. $3 464445
650 2 4 $a Algorithm Analysis and Problem Complexity. $3 463701
650 2 4 $a Math Applications in Computer Science. $3 466204
650 2 4 $a Models and Principles. $3 463930
700 1 $a Piessens, Frank. $3 606871
700 1 $a Caballero, Juan. $3 606872
700 1 $a Bielova, Nataliia. $3 606873
710 2 $a SpringerLink (Online service) $3 463450
773 0 $t Springer eBooks
830 0 $a Lecture notes in computer science ; $v 7103. $3 466200
856 4 0 $u http://dx.doi.org/10.1007/978-3-319-15618-7
950 $a Computer Science (Springer-11645)