Программы provablesecurit.sf.net

Доказуемая безопасность под виртуализацией: Проект о доказывании безопасности гипервизора. Справочная информация: Доказуемая безопасность является концепция, которая все чаще используется для обеспечения строгих гарантий того