ABAC Attribute Based Access Control
SEVOVV DIIA National Wide State Enterprise Document Bus
FT FormalTalk ERP.UNO Compiler