Computer Network Security

>> Google Books

Computer Network Security / Igor Kotenko, Takeo Kanade, Victor Skormin, Josef Kittler

資料種別:

電子ブック

出版情報:

SpringerLink Books - AutoHoldings
Springer Berlin Heidelberg, 2010

著者名:

ISBN:

9783642147050 [3642147054]
9783642147067 [3642147062]

書誌ID:

OB00490309

子書誌情報

フルテキスト

所蔵情報

書誌詳細

主題:

Information Technology - Computer Science (Hardware & Networks)

言語:

英語

目次情報:

Invited Papers

Service Dependencies in Information Systems Security / HervÃ© Debar ; Nizar Kheir ; Nora Cuppens-Boulahia ; FrÃ©dÃ©ric Cuppens

Secure Applications without Secure Infrastructures / Dieter Gollmann

Integrating Types and Specifications for Secure Software Development / Greg Morrisett

Cryptography for Network Security: Failures, Successes and Challenges / Bart Preneel

Group-Centric Models for Secure and Agile Information Sharing / Ravi Sandhu ; Ram Krishnan ; Jianwei Niu ; William H. Winsborough

Security Modeling and Covert Channels

A Predictive Model for Cache-Based Side Channels in Multicore and Multithreaded Microprocessors / Leonid Domnitser ; Nael Abu-Ghazaleh ; Dmitry Ponomarev

Attack and Defense Modeling with BDMP / Ludovic PiÃ¨tre-CambacÃ©dÃ¨s ; Marc Bouissou

QoS-T: QoS Throttling to Elicit User Cooperation in Computer Systems / Vidyaraman Sankaranarayanan ; Shambhu Upadhyaya ; Kevin Kwiat

Problems of Modeling in the Analysis of Covert Channels / Alexander Grusho ; Nikolai Grusho ; Elena Timonina

Security Policies and Formal Analysis of Security Properties

Policy-Based Design and Verification for Mission Assurance / Shiu-Kai Chin ; Sarah Muccio ; Susan Older ; Thomas N.J. Vestal

Using Equivalence Relations for Corrective Enforcement of Security Policies / RaphaÃ«l Khoury ; Nadia Tawbi

Model Checking of Location and Mobility Related Security Policy Specifications in Ambient Calculus / Devrim Unal ; Ozan Akar ; M. Ufuk Caglayan

Authentication, Authorization, Access Control and Public Key Cryptography

Gredentials Management for High-Value Transactions / Glenn Benson ; Sean Croston ; Karthick Jayaraman

A New Hard Problem over Non-commutative Finite Groups for Cryptographic Protocols / Dmitriy N. Moldovyan ; Nikolay A. Moldovyan

Genetic Optimization of Access Control Schemes in Virtual Local Area Networks / Krzysztof Sacha ; Igor Saenko ; Igor Kotenko

Intrusion and Malware Detection

Intellectual Intrusion Detection with Sequences Alignment Methods / Yaroslav A. Markov ; Maxim O. Kalinin

Symptoms-Based Detection of Bot Processes / Jose Andre Morales ; Erhan Kartaltepe ; Shouhuai Xu

A Comparison of Feature-Selection Methods for Intrusion Detection / Hai Thanh Nguyen ; Slobodan Petrovic ; Katrin Franke

From NLP (Natural Language Processing) to MLP (Machine Language Processing) / Peter Teuft ; Udo Payer ; Guenter Lackner

Security of Multi-agent Systems and Software Protection

Secure Multi-Agent System for Multi-Hop Environments / Stefan Kraxberger ; Peter Danner ; Daniel Hein

In the Track of the Agent Protection: A Solution Based on Cryptographic Hardware / Antonio MuÃ±oz ; Antonio MaÃ±a ; Pablo AntÃ³n

Security and Scalability of Remote Entrusting Protection / Vasily Desnitsky

Adaptive Security, Security Analysis and Virtualization

A Novel Genetic Approach to Provide Differentiated Levels of Service Resilience in IP-MPLS/WDM Networks / Wojciech Molisz ; Jacek Rak

Predictive Security Analysis for Event-Driven Processes / Roland Rieke ; Zaharina Stoynova

Virtual Environment Security Modeling / Dmitry Zegzhda ; Ekaterina Rudina

Clarifying Integrity Control at the Trusted Information Environment / Dmitry P. Zegzhda ; Peter D. Zegzhda

Author Index

Invited Papers

Service Dependencies in Information Systems Security / HervÃ© Debar ; Nizar Kheir ; Nora Cuppens-Boulahia ; FrÃ©dÃ©ric Cuppens

Secure Applications without Secure Infrastructures / Dieter Gollmann

Integrating Types and Specifications for Secure Software Development / Greg Morrisett

Cryptography for Network Security: Failures, Successes and Challenges / Bart Preneel

Group-Centric Models for Secure and Agile Information Sharing / Ravi Sandhu ; Ram Krishnan ; Jianwei Niu ; William H. Winsborough

続きを見る

東工大ブックレビュー

類似資料:

1 電子ブック Computer Network Security Kotenko, Igor, Kanade, Takeo, Skormin, Victor Springer eBooks Computer Science, Springer Berlin Heidelberg	7 電子ブック Computer Network Security International Workshop on Mathematical Methods, Models, and Architectures for Computer Network Security, Gorodetski, … Springer eBooks Computer Science, Springer Berlin Heidelberg
2 電子ブック Computer Network Security International Workshop on Mathematical Methods, Models, and Architectures for Computer Network Security, Gorodetski, … Springer eBooks Computer Science, Springer Berlin / Heidelberg	8 電子ブック Computer Network Security International Workshop on Mathematical Methods, Models, and Architectures for Computer Network Security, Gorodetski, … SpringerLink Books - AutoHoldings, Springer Berlin Heidelberg
3 電子ブック Computer Network Security International Workshop on Mathematical Methods, Models, and Architectures for Computer Network Security, Gorodetski, … SpringerLink Books - AutoHoldings, Springer Berlin / Heidelberg	9 電子ブック Computer Security – ESORICS 2011 Atluri, Vijay, Diaz, Claudia, Kanade, Takeo, Kittler, Josef SpringerLink Books - AutoHoldings, Springer Berlin Heidelberg
4 電子ブック Computer Network Security Hutchison, David, Kanade, Takeo, Kittler, Josef, Skormin, Victor SpringerLink Books - AutoHoldings, Springer Berlin Heidelberg	10 電子ブック Financial Cryptography and Data Security Hutchison, David, Kanade, Takeo, Kittler, Josef SpringerLink Books - AutoHoldings, Springer Berlin Heidelberg
5 図書 Computer network security : third International Workshop on Mathematical Methods, Models, and Architectures for Computer Network Security, MMM-ACNS 2005, St. … MMM-ACNS, Gorodetski, Vladimir I., 1937-, Kotenko, Igor, Skormin, Victor A., 1946- Springer	11 電子ブック Data and Applications Security and Privacy XXV Li, Yingjiu, Kanade, Takeo, Kittler, Josef SpringerLink Books - AutoHoldings, Springer Berlin Heidelberg
6 電子ブック Computer Network Security Rak, Bay, John, Kotenko, Igor, Popyack, Leonard, Skormin, Victor, Szczypiorski, Krzysztof SpringerLink Books - AutoHoldings, Springer International Publishing	12 電子ブック Information Security and Cryptology - ICISC 2011 Hutchison, David, Kanade, Takeo, Kittler, Josef SpringerLink Books - AutoHoldings, Springer Berlin Heidelberg

1

2

3

4

5

6

7

8

9

10

11

12