Project

General

Profile

Overview

Набор инструментов для верификации моделей политик безопасности и их реализаций в ответственных системах.

Набор инструментов в настоящий момент состоит из двух частей:

Issue tracking  Details

open closed Total
Bug 0 0 0
Feature 0 0 0
Task 0 0 0

View all issues | Summary

Members

Manager: Alexey Khoroshilov, Denis Efremov, Ilya Shchepetkov, Mikhail Mandrykin

Developer: Alexey Khoroshilov, Denis Efremov, Ilya Shchepetkov, Mikhail Mandrykin, Victor Kuliamin, Vitaly Mordan

Project Creator: Alexey Khoroshilov, Denis Efremov, Ilya Shchepetkov, Mikhail Mandrykin

Subprojects