國立虎尾科技大學 |

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

Record Type:	Language materials, printed : Monograph/item
Title/Author:	Engineering secure software and systems/ edited by Frank Piessens, Juan Caballero, Nataliia Bielova.
Reminder of title:	7th International Symposium, ESSoS 2015, Milan, Italy, March 4-6, 2015 : proceedings /
other author:	Piessens, Frank.
corporate name:	Workshop on the Preservation of Stability under Discretization
Published:	Cham :Springer International Publishing : : 2015.,
Description:	xii, 227 p. :ill., digital ; : 24 cm.;
Contained By:	Springer eBooks
Subject:	Computer security - Congresses. -
Online resource:	http://dx.doi.org/10.1007/978-3-319-15618-7
ISBN:	9783319156187 (electronic bk.)

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

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:

574522
Computer security
--Congresses.

LC Class. No.: QA76.9.A25

Dewey Class. No.: 005.8

Engineering secure software and systems = 7th International Symposium, ESSoS 2015, Milan, Italy, March 4-6, 2015 : proceedings /
LDR:01640nam a2200325 a 4500 001 836331
003 DE-He213
005 20150916140007.0
006 m d
007 cr nn 008maaau
008 160421s2015 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 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 7th International Symposium, ESSoS 2015, Milan, Italy, March 4-6, 2015 : proceedings / $c edited by Frank Piessens, Juan Caballero, Nataliia Bielova.
260 $a Cham : $c 2015. $b Springer International Publishing : $b Imprint: Springer,
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 $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 Data Encryption. $3 669790
650 2 4 $a Software Engineering/Programming and Operating Systems. $3 669780
650 2 4 $a Algorithm Analysis and Problem Complexity. $3 593923
650 2 4 $a Math Applications in Computer Science. $3 669887
650 2 4 $a Models and Principles. $3 669634
700 1 $a Piessens, Frank. $3 1024166
700 1 $a Caballero, Juan. $3 1066358
700 1 $a Bielova, Nataliia. $3 1024167
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-15618-7
950 $a Computer Science (Springer-11645)