Reasoning about Hyperproperties Год выпуска: 2014Автор: Dimiter Vladimirov MilushevИздательство: Scholars' PressСтраниц: 220ISBN: 9783639710410Описание The importance of security and reliability of software systems makes formal methods of paramount significance as they can be used to guarantee that a system satisfies a particular security policy. Hyperproperties are an abstract formalization of the security policies, however they lack a generic verification methodology. This thesis makes progress towards such a verification methodology. We first introduce the classes of holistic hyperproperties, which are difficult to reason about. To simplify the reasoning about these, we propose their related incremental variants. We also introduce a framework for reasoning about incremental and holistic hyperproperties based on a technique called coinduction. In addition, we propose a generic verification methodology for incremental hyperproperties based on representing the process of policy checking intuitively as playing a game. This also enables the use of off-the-shelf tools for verification of the respective security policies. The proposed...
Похожие книги
Donald S. Maier. What's So Good About Biodiversity?: A Call for Better Reasoning About Nature's Value (The International Library of Environmental, Agricultural and Food Ethics). – М.: , 2012. – 555 с. Ronald Fagin, Joseph Y. Halpern, Yoram Moses, Moshe Y. Vardi. Reasoning About Knowledge. – М.: , 0. – 0 с. Paul Lemberg. Be Unreasonable. – М.: , 2007. – 224 с. Marcelo P. Fiore. Axiomatic Domain Theory in Categories of Partial Maps (Distinguished Dissertations in Computer Science). – М.: , 0. – 0 с. Jane Hillston. A Compositional Approach to Performance Modelling (Distinguished Dissertations in Computer Science). – М.: , 0. – 0 с. Ben Goertzel, Matthew Ikle, Izabela Freire Goertzel, Ari Heljakka. Probabilistic Logic Networks: A Comprehensive Framework for Uncertain Inference. – М.: , 2008. – 344 с. Russell Schwartz. Biological Modeling and Simulation: A Survey of Practical Models, Algorithms, and Numerical Methods (Computational Molecular Biology). – М.: , 2008. – 408 с. Ronald Fagin. Reasoning About Knowledge. – М.: , 2004. – 492 с. Michael Wooldridge. Reasoning About Rational Agents. – М.: , 2000. – 244 с. Edited by Martha C. Nussbaum and Juha Sihvola. The Sleep of Reason: Erotic Experience and Sexual Ethics in Ancient Greece and Rome. – М.: University of Chicago Press, 2002. – 472 с. Ronald Fagin. Reasoning About Knowledge. – М.: , 1995. – 492 с. Joseph Y Halpern. Reasoning about Uncertainty. – М.: , 2003. – 456 с. Joseph Y Halpern. Reasoning about Uncertainty. – М.: , 2005. – 456 с. Ms. Mary McGeoch and Dr. Rivka Witenberg. The influence of age, gender and context on moral reasoning. – М.: LAP Lambert Academic Publishing, 2011. – 172 с. Teresa Greely. Ocean Literacy and Reasoning about Ocean Socioscientific Issues. – М.: LAP Lambert Academic Publishing, 2010. – 240 с. Dimiter Vladimirov Milushev. Reasoning about Hyperproperties. – М.: Scholars' Press, 2014. – 220 с. Polina Sabinin. Reasoning about Steepness. – М.: LAP Lambert Academic Publishing, 2013. – 264 с. Образцы работ
Задайте свой вопрос по вашей теме
Контакты
Поделиться
Мы в социальных сетях
Реклама
Отзывы
Solar Благодарю создателей studentochka.ru за помощь в сопровождении Дипломной работы. Спасибо за помощь, это слабо сказано. Если бы не они, я бы никогда не сдала свой диплом. Они помогли мне с темой, дали консультацию, и поддерживали советами и материалами буквально до самой защиты. Я не ожидала ничего подобного ни от кого. Даже мои друзья отказались мне помочь, ссылаясь на слишком малый объём времени и невероятную тему. А тут... Нашлись люди, которые помогли мне совершенно незнакомому человеку, воззвавшему к ним с отчаянной просьбой. Это весьма и весьма классно. Я столько времени искала помощи в инете, оставляла объявления на всех досках объявлений всех студенческих порталах которых посещала. И самое большое, получила три или четыре ответа, и то с предложением сопровождать работу за сравнительно низкую цену. Ну не было у меня на тот момент денег. Ни копейки. Если бы были, разве не легче было заказать работу в своём городе, а не искать помощи в инете? Так что огромное спасибо порталу studentochka.ru, его создателям, а в частности Марине Крестьяновой за помощь и поддержку.
