Computer Network Security

Table of Contents

1. Altmetric Badge
   Book Overview
2. Altmetric Badge
   Chapter 1 Self-managed Cells for Ubiquitous Systems
3. Altmetric Badge
   Chapter 2 Critical Information Assurance Challenges for Modern Large-Scale Infrastructures
4. Altmetric Badge
   Chapter 3 Rule-Based Topological Vulnerability Analysis
5. Altmetric Badge
   Chapter 4 Models and Analysis of Active Worm Defense
6. Altmetric Badge
   Chapter 5 Prevention of Information Attacks by Run-Time Detection of Self-replication in Computer Codes
7. Altmetric Badge
   Chapter 6 Calibrating Entropy Functions Applied to Computer Networks
8. Altmetric Badge
   Chapter 7 A Passive External Web Surveillance Technique for Private Networks
9. Altmetric Badge
   Chapter 8 A Secure Way to Combine IPsec, NAT & DHCP
10. Altmetric Badge
    Chapter 9 A Generic Model for Analyzing Security Protocols
11. Altmetric Badge
    Chapter 10 Networks, Markov Lie Monoids, and Generalized Entropy
12. Altmetric Badge
    Chapter 11 Trust by Workflow in Autonomic Communication
13. Altmetric Badge
    Chapter 12 An Ontology-Based Approach to Information Systems Security Management
14. Altmetric Badge
    Chapter 13 Safety Problems in Access Control with Temporal Constraints
15. Altmetric Badge
    Chapter 14 A Modal Logic for Role-Based Access Control
16. Altmetric Badge
    Chapter 15 Unique User-Generated Digital Pseudonyms
17. Altmetric Badge
    Chapter 16 A Probabilistic Property-Specific Approach to Information Flow
18. Altmetric Badge
    Chapter 17 Generalized Abstract Non-interference: Abstract Secure Information-Flow Analysis for Automata
19. Altmetric Badge
    Chapter 18 Detection of Illegal Information Flow
20. Altmetric Badge
    Chapter 19 Towards More Controllable and Practical Delegation
21. Altmetric Badge
    Chapter 20 Policy-Driven Routing Management Using CIM
22. Altmetric Badge
    Chapter 21 Secure Hybrid Operating System “Linux over Fenix”
23. Altmetric Badge
    Chapter 22 A Formal Description of SECIMOS Operating System
24. Altmetric Badge
    Chapter 23 A Theoretical Model for the Average Impact of Attacks on Billing Infrastructures
25. Altmetric Badge
    Chapter 24 Analyzing Vulnerabilities and Measuring Security Level at Design and Exploitation Stages of Computer Network Life Cycle
26. Altmetric Badge
    Chapter 25 A Temporal Logic-Based Model for Forensic Investigation in Networked System Security
27. Altmetric Badge
    Chapter 26 Vulnerabilities Detection in the Configurations of MS Windows Operating System
28. Altmetric Badge
    Chapter 27 Hybrid Intrusion Detection Model Based on Ordered Sequences
29. Altmetric Badge
    Chapter 28 Asynchronous Alert Correlation in Multi-agent Intrusion Detection Systems
30. Altmetric Badge
    Chapter 29 Behavior-Based Model of Detection and Prevention of Intrusions in Computer Networks
31. Altmetric Badge
    Chapter 30 A Formal Immune Network and Its Implementation for On-line Intrusion Detection
32. Altmetric Badge
    Chapter 31 Foundation for a Time Interval Access Control Model
33. Altmetric Badge
    Chapter 32 Developing an Insider Threat Model Using Functional Decomposition
34. Altmetric Badge
    Chapter 33 An XML-Seamless Policy Based Management Framework
35. Altmetric Badge
    Chapter 34 Statistical Covert Channels Through PROXY Server
36. Altmetric Badge
    Chapter 35 Encoding Private Key in Fingerprint
37. Altmetric Badge
    Chapter 36 A New Scheme for the Location Information Protection in Mobile Communication Environments
38. Altmetric Badge
    Chapter 37 Region Protection/Restoration Scheme in Survivable Networks
39. Altmetric Badge
    Chapter 38 Massive Data Mining for Polymorphic Code Detection
40. Altmetric Badge
    Chapter 39 Key Escrow with Tree-Based Access Structure
41. Altmetric Badge
    Chapter 40 Security Checker Architecture for Policy-Based Security Management
42. Altmetric Badge
    Chapter 41 An Efficient Access Control Model Utilized the Attribute Certificate Structuring
43. Altmetric Badge
    Chapter 42 Secure Protected Password Change Scheme