Giters

mvaz / alloy4ngac

A fire response model described using Alloy. It is an example for my work on analyzing stateful NGAC models with Alloy.

Geek Repo:Geek Repo

Github PK Tool:Github PK Tool

Provable Stateful Next Generation Access Control for Complex Dynamic Systems

A fire response model described using Alloy. It is an example for my work on analyzing stateful NGAC models with Alloy.

About

A fire response model described using Alloy. It is an example for my work on analyzing stateful NGAC models with Alloy.

Languages

Language:Alloy 100.0%