Detekcia neštandardných stavov v operačnom systéme - Dávid, Miroslav (STU v Bratislave FIIT, 2005)