Controlling access to data is one of the primary purposes of security, especially when it
comes to dealing with safety critical systems. In such systems, it is of paramount importance …

Being the result of several research projects that involved at the same time academic and
industrial partners, the Rodin platform is designed to implement and analyse mathematical …

Abstract Models of mandatory integrity control in operating systems usually restrict accesses
of active components of a system to passive ones and represent the accesses directly. This …

Модели мандатного контроля целостности в операционных системах, как правило,
накладывают ограничения на доступы активных компонент системы к пассивным и …