|
|
Engineering secure software and systems : , Second International Symposium, Essos 2010, Pisa, Italy, February 3-4, 2010, proceedings /
Publication:
Berlin : Springer, 2010
. x, 240 p. :
Date:2010
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Formal aspects of security : , first international conference, FASec 2002 : London, UK, December 16-18, 2002 : revised papers /
Publication:
New York : Springer, 2003
. x, 238 p. :
25 cm.
Date:2003
Availability:
Copies available:
AUM Main Library
(3),
|
|