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 (Q5933586)

The articles of mathematical interest will be reviewed individually. Indexed articles: \textit{Dasgupta, Dipankar; Gonzalez, Fabio A.}, An intelligent decision support system for intrusion detection and response, 1-14 [Zbl 1002.68627] \textit{Grusho, Alexander}, Mathematical models of the covert channels, 15-20 [Zbl 1002.68651] \textit{Meadows, Catherine}, Open issues in formal methods for cryptographic protocol analysis, 21 [Zbl 1002.68654] \textit{Sandhu, Ravi}, Future directions in role-based access control models, 22-26 [Zbl 1002.68645] \textit{Varadharajan, Vijay}, Secure networked computing, 27 [Zbl 0986.68912] \textit{Jürjens, Jan}, Composability of secrecy, 28-38 [Zbl 1002.68635] \textit{Gorodetski, Vladimir I.; Karsayev, O.; Khabalov, A.; Kotenko, I.; Popyack, Leonard J.}, Agent-based model of computer network security system: A case study, 39-50 [Zbl 1002.68623] \textit{Smirnov, Michael}, Security considerations and models for service creation in premium IP networks, 51-62 [Zbl 1002.68661] \textit{Zegzhda, Peter D.; Zegzhda, Dmitry P.}, Secure systems design technology, 63-71 [Zbl 1002.68660] \textit{Gritzalis, Dimitris; Moulinos, Konstantinos; Kostis, Konstantinos}, A privacy-enhancing e-business model based on infomediaries, 72-83 [Zbl 1002.68622] \textit{Heitmeyer, Constance}, Applying practical formal methods to the specification and analysis of security properties, 84-89 [Zbl 0986.68914] \textit{Kostogryzov, Andrey}, Modeling software tools complex for evaluation of information systems operation quality (CEISOQ), 90-101 [Zbl 0986.68916] \textit{Knorr, Konstantin; Weidner, Harald}, Analyzing separation of duties in Petri net workflows, 102-114 [Zbl 1012.68521] \textit{Tarakanov, Alexander O.}, Information security with formal immune networks, 115-126 [Zbl 1012.68819] \textit{Skormin, Victor A.; Delgado-Frias, Jose G.; McGee, Dennis L.; Giordano, Joseph V.; Popyack, Leonard J.}, BASIS: A biological approach to system information security, 127-142 [Zbl 1012.68806] \textit{Seleznyov, Alexandr; Mazhelis, Oleksiy; Puuronen, Seppo}, Learning temporal regularities of user behavior for anomaly detection, 143-152 [Zbl 0986.68918] \textit{Singh, Harjit; Furnell, Steven; Lines, Benn; Dowland, Paul}, Investigating and evaluating behavioural profiling and intrusion detection using data mining, 153-158 [Zbl 1012.68838] \textit{Cervesato, Iliano}, Typed MSR: Syntax and examples, 159-177 [Zbl 0986.68510] \textit{Barker, Steve}, \(\text{TRBAC}^N\): A temporal authorization model, 178-188 [Zbl 0986.68921] \textit{Ryutov, Tatyana; Neuman, Clifford}, The set and function approach to modeling authorization in distributed systems, 189-206 [Zbl 1012.68834] \textit{Zegzhda, Dmitry P.; Stepanov, Pavel G.; Otavin, Alexey D.}, Fenix secure operating system: Principles, models, and architecture, 207-218 [Zbl 0986.68923] \textit{Korjik, Valeri; Morozov, Kirill}, Generalized oblivious transfer protocols based on noisy channels, 219-229 [Zbl 0995.94543] \textit{Izotov, Boris V.; Moldovyan, Alexander A.; Moldovyan, Nick A.}, Controlled operations as a cryptographic primitive, 230-241 [Zbl 0986.94030] \textit{Yakovlev, Viktor; Korjik, Valery; Sinuk, Alexander}, Key distribution protocol based on noisy channel and error detecting codes, 242-250 [Zbl 0986.94031] \textit{Chaddoud, Ghassan; Chrisment, Isabelle; Schaff, André}, Dynamic group key management protocol, 251-262 [Zbl 0995.68502] \textit{Gorodetski, Vladimir I.; Popyack, Leonard J.; Samoilov, Vladimir; Skormin, Victor A.}, SVD-based approach to transparent embedding data into digital images, 263-274 [Zbl 1012.68831] \textit{Goots, Nick D.; Moldovyan, Alexander A.; Moldovyan, Nick A.}, Fast encryption algorithm Spectr-H64, 275-286 [Zbl 1012.68816] \textit{Durante, Antonio; Focardi, Riccardo; Gorrieri, Roberto}, CVS at work: A report on new failures upon some cryptographic protocols, 287-299 [Zbl 0992.94505] \textit{Kavut, Selçuk; Yücel, Melek D.}, On some cryptographic properties of Rijndael, 300-311 [Zbl 0993.94550]