Joshua D. Guttman. Security Goals: Packet Trajectories and Strand Spaces. In Riccardo Focardi, Roberto Gorrieri, editors, Foundations of Security Analysis and Design, Tutorial Lectures [revised versions of lectures given during the IFIP WG 1.7 International School on Foundations of Security Analysis and Design, FOSAD 2000, Bertinoro, Italy, September 2000]. Volume 2171 of Lecture Notes in Computer Science, pages 197-261, Springer, 2000. [doi]