A Formal Rule-Based Scheme for Digital Investigation in Wireless Ad-hoc Networks | IEEE Conference Publication | IEEE Xplore