Peter D. Zegzhda, Dmitry P. Zegzhda, Maxim O. Kalinin. Logical Resolving for Security Evaluation. In Vladimir Gorodetsky, Leonard J. Popyack, Victor A. Skormin, editors, Computer Network Security, Second International Workshop on Mathematical Methods, Models, and Architectures for Computer Network Security, MMM-ACNS 2003, St. Petersburg, Russia, September 21-23, 2003, Proceedings. Volume 2776 of Lecture Notes in Computer Science, pages 147-156, Springer, 2003. [doi]
Abstract is missing.