Using security proof from the command line (TMLMapping)
For this, we would need to add security aspects to TML, and parse them back, and allow security verification from CLI
Edited by Ludovic Apvrille
For this, we would need to add security aspects to TML, and parse them back, and allow security verification from CLI