Acknowledgments

We thank Amit Sinha, Lein Harn, Cory Beard, and Tian Li for many discussions. The preliminary analysis result presented in Section 14.5.3 is discussed in [21]. We thank David Tipper and James Joshi for carefully reading a draft of this paper. This work was partially supported by a grant from the University of Missouri Research Board.

Get Information Assurance now with the O’Reilly learning platform.

O’Reilly members experience books, live events, courses curated by job role, and more from O’Reilly and nearly 200 top publishers.