Dynamic Forensics System with Intrusion Tolerance Based on Hierarchical Coloured Petri-nets | IEEE Conference Publication | IEEE Xplore