Vladimir I. Gorodetski / Victor A. Skormin / Leonard J. Popyack (eds.)International Workshop MMM-ACNS 2001 St. Petersburg, Russia, May 21-23, 2001 Proceedings
Information Assurance in Computer Networks: Methods, Models and Architectures for Network Security
International Workshop MMM-ACNS 2001 St. Petersburg, Russia, May 21-23, 2001 Proceedings
Herausgegeben:Gorodetski, Vladimir I.; Skormin, Victor A.; Popyack, Leonard J.
Vladimir I. Gorodetski / Victor A. Skormin / Leonard J. Popyack (eds.)International Workshop MMM-ACNS 2001 St. Petersburg, Russia, May 21-23, 2001 Proceedings
Information Assurance in Computer Networks: Methods, Models and Architectures for Network Security
International Workshop MMM-ACNS 2001 St. Petersburg, Russia, May 21-23, 2001 Proceedings
Herausgegeben:Gorodetski, Vladimir I.; Skormin, Victor A.; Popyack, Leonard J.
- Broschiertes Buch
- Merkliste
- Auf die Merkliste
- Bewerten Bewerten
- Teilen
- Produkt teilen
- Produkterinnerung
- Produkterinnerung
This book presents the refereed proceedings of the International Workshop on Mathematical Methods, Models, and Architectures for Network Security Systems, MMM-ACNS 2001, held in St. Petersburg in May 2001. The 24 revised full papers presented together with five invited contributions were carefully reviewed and selected from 36 submissions. The papers are organized in topical sections on network security systems: foundations, models and architectures; intrusion detection: foundations and models; access control, authentication, and authorization; and cryptography and steganography: mathematical basis, protocols, and applied methods.…mehr
Andere Kunden interessierten sich auch für
- Vladimir Gorodetsky / Leonard Popyack / Victor Skormin (eds.)Computer Network Security39,99 €
- Riccardo Focardi / Roberto Gorrieri (eds.)Foundations of Security Analysis and Design II39,99 €
- Vladimir Gorodetsky / Igor Kotenko / Victor Skormin (eds.)Computer Network Security39,99 €
- Sumit GhoshPrinciples of Secure Network Systems Design38,99 €
- David J. MarchetteComputer Intrusion Detection and Network Monitoring77,99 €
- Information Security, Practice and Experience39,99 €
- Jana Dittmann / Stefan Katzenbeisser / Andreas Uhl (eds.)Communications and Multimedia Security39,99 €
-
-
-
This book presents the refereed proceedings of the International Workshop on Mathematical Methods, Models, and Architectures for Network Security Systems, MMM-ACNS 2001, held in St. Petersburg in May 2001.
The 24 revised full papers presented together with five invited contributions were carefully reviewed and selected from 36 submissions. The papers are organized in topical sections on network security systems: foundations, models and architectures; intrusion detection: foundations and models; access control, authentication, and authorization; and cryptography and steganography: mathematical basis, protocols, and applied methods.
The 24 revised full papers presented together with five invited contributions were carefully reviewed and selected from 36 submissions. The papers are organized in topical sections on network security systems: foundations, models and architectures; intrusion detection: foundations and models; access control, authentication, and authorization; and cryptography and steganography: mathematical basis, protocols, and applied methods.
Produktdetails
- Produktdetails
- Lecture Notes in Computer Science 2052
- Verlag: Springer / Springer Berlin Heidelberg / Springer, Berlin
- Artikelnr. des Verlages: 978-3-540-42103-0
- 2001
- Seitenzahl: 336
- Erscheinungstermin: 9. Mai 2001
- Englisch
- Abmessung: 235mm x 155mm x 19mm
- Gewicht: 472g
- ISBN-13: 9783540421030
- ISBN-10: 3540421033
- Artikelnr.: 23298635
- Herstellerkennzeichnung Die Herstellerinformationen sind derzeit nicht verfügbar.
- Lecture Notes in Computer Science 2052
- Verlag: Springer / Springer Berlin Heidelberg / Springer, Berlin
- Artikelnr. des Verlages: 978-3-540-42103-0
- 2001
- Seitenzahl: 336
- Erscheinungstermin: 9. Mai 2001
- Englisch
- Abmessung: 235mm x 155mm x 19mm
- Gewicht: 472g
- ISBN-13: 9783540421030
- ISBN-10: 3540421033
- Artikelnr.: 23298635
- Herstellerkennzeichnung Die Herstellerinformationen sind derzeit nicht verfügbar.
Invited Talks.- An Intelligent Decision Support System for Intrusion Detection and Response.- Mathematical Models of the Covert Channels.- Open Issues in Formal Methods for Cryptographic Protocol Analysis.- Future Directions in Role-Based Access Control Models.- Secure Networked Computing.- Network Security Systems: Foundations, Models, and Architectures.- Composability of Secrecy.- Agent-Based Model of Computer Network Security System: A Case Study.- Security Considerations and Models for Service Creation in Premium IP Networks.- Secure Systems Design Technology.- A Privacy-Enhancing e-Business Model Based on Infomediaries.- Applying Practical Formal Methods to the Specification and Analysis of Security Properties.- Modeling Software Tools Complex for Evaluation of Information Systems Operation Quality (CEISOQ).- Analyzing Separation of Duties in Petri Net Workflows.- Intrusion Detection: Foundations and Models.- Information Security with Formal Immune Networks.- BASIS: A Biological Approach to System Information Security.- Learning Temporal Regularities of User Behavior for Anomaly Detection.- Investigating and Evaluating Behavioural Profiling and Intrusion Detection Using Data Mining.- Access Control, Authentication, and Authorization.- Typed MSR: Syntax and Examples.- TRBACN: A Temporal Authorization Model.- The Set and Function Approach to Modeling Authorization in Distributed Systems.- Fenix Secure Operating System: Principles, Models, and Architecture.- Cryptography and Steganography: Mathematical Basis, Protocols, and Applied Methods.- Generalized Oblivious Transfer Protocols Based on Noisy Channels.- Controlled Operations as a Cryptographic Primitive.- Key Distribution Protocol Based on Noisy Channel and Error Detecting Codes.- Dynamic Group Key Management Protocol.- SVD-Based Approach to Transparent Embedding Data into Digital Images.- Fast Encryption Algorithm Spectr-H64.- CVS at Work: A Report on New Failures upon Some Cryptographic Protocols.- On Some Cryptographic Properties of Rijndael.
Invited Talks.- An Intelligent Decision Support System for Intrusion Detection and Response.- Mathematical Models of the Covert Channels.- Open Issues in Formal Methods for Cryptographic Protocol Analysis.- Future Directions in Role-Based Access Control Models.- Secure Networked Computing.- Network Security Systems: Foundations, Models, and Architectures.- Composability of Secrecy.- Agent-Based Model of Computer Network Security System: A Case Study.- Security Considerations and Models for Service Creation in Premium IP Networks.- Secure Systems Design Technology.- A Privacy-Enhancing e-Business Model Based on Infomediaries.- Applying Practical Formal Methods to the Specification and Analysis of Security Properties.- Modeling Software Tools Complex for Evaluation of Information Systems Operation Quality (CEISOQ).- Analyzing Separation of Duties in Petri Net Workflows.- Intrusion Detection: Foundations and Models.- Information Security with Formal Immune Networks.- BASIS: A Biological Approach to System Information Security.- Learning Temporal Regularities of User Behavior for Anomaly Detection.- Investigating and Evaluating Behavioural Profiling and Intrusion Detection Using Data Mining.- Access Control, Authentication, and Authorization.- Typed MSR: Syntax and Examples.- TRBACN: A Temporal Authorization Model.- The Set and Function Approach to Modeling Authorization in Distributed Systems.- Fenix Secure Operating System: Principles, Models, and Architecture.- Cryptography and Steganography: Mathematical Basis, Protocols, and Applied Methods.- Generalized Oblivious Transfer Protocols Based on Noisy Channels.- Controlled Operations as a Cryptographic Primitive.- Key Distribution Protocol Based on Noisy Channel and Error Detecting Codes.- Dynamic Group Key Management Protocol.- SVD-Based Approach to Transparent Embedding Data into Digital Images.- Fast Encryption Algorithm Spectr-H64.- CVS at Work: A Report on New Failures upon Some Cryptographic Protocols.- On Some Cryptographic Properties of Rijndael.