Applying Dynamic Labels of the Biba Model in Forensic Evidence Analysis | IEEE Conference Publication | IEEE Xplore