SAriadne: A secure source routing protocol to prevent hidden-channel attacks | IEEE Conference Publication | IEEE Xplore