ICEMAN: A Practical Architecture for Situational Awareness at the Network Edge.
Samuel B. WoodJames MathewsonJoshua JoyMark-Oliver StehrMinyoung KimAshish GehaniMario GerlaHamid R. SadjadpourJ. J. Garcia-Luna-AcevesPublished in: Logic, Rewriting, and Concurrency (2015)