Colored Petri Net Based Cache Side Channel Vulnerability Evaluation