top of page
Number of visitors
1) Formal Specification of CFMA/MAC using PTA and UPPAAL
The complete specification xml files can be downloaded from:
​
https://drive.google.com/file/d/1Hq8FJkRkrLEdOF_G2TqWVBb2l4Ut5o31/view?usp=sharing
​
2) Formal Specification of TRBAC security model using CPNs and CPN-tool
The complete specification xml files can be downloaded from:
​
https://drive.google.com/drive/folders/1tQ-Y9uLCmzfTqsQ_Opb3mHGPyh9r4Lte?usp=sharing
​
​
​
bottom of page