Model-checking infinite state systems for information flow security Год выпуска: 2014Автор: Raghavendra K. R.Издательство: LAP Lambert Academic PublishingСтраниц: 160ISBN: 9783659301315Описание Information flow properties are a way of specifying security properties of systems, dating back to the work of Goguen and Meseguer in the eighties. In this framework, a system is modeled as having high-level (or confidential) events as well as low-level (or public) events, and a typical property requires that the high-level events should not ''influence'' the occurrence of low-level events. In this book we study the problem of model-checking the well-known trace-based and bisimulation-based information flow security properties for some popular classes of infinite-state system models, and state-based information flow properties for programs.
Похожие книги
John Wang. Innovations in Information Systems for Business Functionality and Operations Management. – М.: , 2012. – 378 с. Ifip Tc5, Wg5.5 Working Conference on Infrastructures for Virtual Enter, Luis M. Camarinha Matos, Luis Camarinha-Matos. Collaborative Business Ecosystems and Virtual Enterprises (IFIP INTERNATIONAL FEDERATION FOR INFORMATION PROCESSING Volume 213). – М.: , 0. – 0 с. Roland Traunmuller, R. Traunmuller, Quebec) Ifip World Computer Congress 2002 Montreal. Information Systems: The E-Business Challenge (International Federation for Information Processing, 95). – М.: , 0. – 0 с. E-Business, E-Government 2003 Sao paul Ifip Conference on E-Commerce, Manuel J. Mendes, Reima Suomi, Carlos Passos, International Federation for Information Processing, Kluwer Academic Publishers. Digital Communities in a Networked Society: e-Commerce, e-Business and e-Government (International Federation for Information Processing). – М.: , 0. – 0 с. Ifip Tc5, Wg5.7 International Conference on Advances in Production Mana, Harinder S. Jagdev, J. C. Wortmann, H. J. Pels. Collaborative Systems for Production Management: Ifip Tc5/Wg5.7 International Conference on Advanced Sic in Production Management Systems, September 8 ... Federation for Information Processing, ?257). – М.: , 0. – 0 с. Building the E-Service Society : E-Commerce, E-Business, and E-Government (IFIP International Federation for Information Processing). – М.: , 2004. – 0 с. Andreas W. Neumann. Recommender Systems for Information Providers: Designing Customer Centric Paths to Information (Contributions to Management Science). – М.: , 2009. – 158 с. Bernadette Bouchon-Meunier, Laurent Foulloy, Ronald R. Yager, L. Foulloy, INTERNATIONAL CONFERENCE ON INFORMATION. Intelligent Systems for Information Processing: From Representation to Applications. – М.: , 0. – 0 с. B. Bouchon-Meunier. Intelligent Systems for Information Processing: From Representation to Applications. – М.: , 2010. – 488 с. F THOMAS. Thomas ?instructor?s Manual? For ?filing? Systems For Information Management. – М.: , 1983. – 32 с. Rudolf H. Czekalla. ISO/TS 16949:2002 Information Tool and Documentation Model for Quality Management Systems for Automotive-Parts Manufacturers. – М.: , . – с. Hana Chockler. Coverage Metrics for Model Checking. – М.: LAP Lambert Academic Publishing, 2011. – 144 с. Gurpreet Kaur. Rice Grading System for Embedded Image Processing. – М.: LAP Lambert Academic Publishing, 2014. – 96 с. Ehab E. Elattar,Tahir A. Mohammed and Abdel Mohsen M. Kinawy. Static State Estimation for Power Systems. – М.: LAP Lambert Academic Publishing, 2014. – 132 с. Raghavendra K. R. Model-checking infinite state systems for information flow security. – М.: LAP Lambert Academic Publishing, 2014. – 160 с. Raghavendra Kagalavadi Ramesh,Deepak D'Souza and Barbara Sprick. Model checking trace-based information flow properties. – М.: LAP Lambert Academic Publishing, 2012. – 64 с. Wei Ding. Using Model Checking to Generate Test Cases for Critical Systems. – М.: LAP Lambert Academic Publishing, 2010. – 88 с. Образцы работ
Задайте свой вопрос по вашей теме
Контакты
Поделиться
Мы в социальных сетях
Реклама
Отзывы
Алина, 27.12 Здравствуйте! Хочу поблагодарить Вас за проделанную работу! Курсовая защищена, оценка - отлично! Спасибо огромное за понимание и готовность помочь)))
