000 02631nam a22005055i 4500
001 vtls000484131
003 RU-ToGU
005 20210922065745.0
007 cr nn 008mamaa
008 140715s2013 gw | s |||| 0|eng d
020 _a9783319014333
_9978-3-319-01433-3
024 7 _a10.1007/978-3-319-01433-3
_2doi
035 _ato000484131
040 _aSpringer
_cSpringer
_dRU-ToGU
050 4 _aQA76.9.A25
072 7 _aUR
_2bicssc
072 7 _aUTN
_2bicssc
072 7 _aCOM053000
_2bisacsh
082 0 4 _a005.8
_223
100 1 _aAl-Shaer, Ehab.
_eeditor.
_9325583
245 1 0 _aAutomated Security Management
_helectronic resource
_cedited by Ehab Al-Shaer, Xinming Ou, Geoffrey Xie.
260 _aCham :
_bSpringer International Publishing :
_bImprint: Springer,
_c2013.
300 _aVIII, 187 p. 62 illus.
_bonline resource.
336 _atext
_btxt
_2rdacontent
337 _acomputer
_bc
_2rdamedia
338 _aonline resource
_bcr
_2rdacarrier
505 0 _a1: Towards a Unified Modeling and Verification of Network and System Security Configurations -- 2: Modeling and Checking the Security of DIFC System Configurations -- 3: Increasing Android Security using a Lightweight OVAL-based Vulnerability Assessment Framework -- 4: A Declarative Logic-based Approach for Threat Analysis of Advanced Metering Infrastructure -- 5: Risk based Access Control using Classification -- 6: GCNav - Generic Configuration Navigation System -- 7: The Right Files at the Right Time -- 8: Rule Configuration Checking in Secure Cooperative Data Access -- 9: Programmable Diagnostic Network Measurement with Localization and Traffic Observation -- 10: Discovery of Unexpected Services and Communication Paths in Networked Systems -- 11: Tracing Advances Persistent Threats in Networked Systems.
520 _aNo back cover copy.
650 0 _aComputer Science.
_9155490
650 0 _aComputer Communication Networks.
_9566243
650 0 _aData protection.
_9303937
650 0 _aData encryption (Computer science).
_9566260
650 1 4 _aComputer Science.
_9155490
650 2 4 _aSystems and Data Security.
_9303939
650 2 4 _aData Encryption.
_9566261
650 2 4 _aComputer Communication Networks.
_9566243
700 1 _aOu, Xinming.
_eeditor.
_9414367
700 1 _aXie, Geoffrey.
_eeditor.
_9414368
710 2 _aSpringerLink (Online service)
_9143950
773 0 _tSpringer eBooks
856 4 0 _uhttp://dx.doi.org/10.1007/978-3-319-01433-3
912 _aZDB-2-SCS
999 _c356677