Cited By
View all- Gruber JHumml M(2023)A Formal Treatment of Expressiveness and Relevanceof Digital EvidenceDigital Threats: Research and Practice10.1145/36084854:3(1-16)Online publication date: 13-Jul-2023
- Jihene Krichene Mohamed Hamdi Noureddine Boudriga (2007)Security policy validation using temporal executable specifications2007 IEEE International Conference on Systems, Man and Cybernetics10.1109/ICSMC.2007.4413742(2848-2853)Online publication date: Oct-2007
- Rekhis SBoudriga N(2006)Opacity: A Theoretical Technique for Digital Investigation2006 2nd International Conference on Information & Communication Technologies10.1109/ICTTA.2006.1684942(3281-3286)Online publication date: 2006
- Show More Cited By