Dynamic analysis of security protocols
Alec Yasinsac · 2001
Article Share on Dynamic analysis of security protocols Author: Alec Yasinsac Department of Computer Science, Florida State University, Tallahassee, FL Department of Computer Science, Florida State University, Tallahassee, FLView Profile Authors Info & Claims NSPW '00: Proceedings of the 2000 workshop on New security paradigmsFebruary 2001 Pages 77–87https://doi.org/10.1145/366173.366194Online:20 February 2001Publication History 3citation1,331DownloadsMetricsTotal Citations3Total Downloads1,331Last 12 Months6Last 6 weeks0 Get Citation AlertsNew Citation Alert added!This alert has been successfully added and will be sent to:You will be notified whenever a record that you have chosen has been cited.To manage your alert preferences, click on the button below.Manage my AlertsNew Citation Alert!Please log in to your account Save to BinderSave to BinderCreate a New BinderNameCancelCreateExport CitationPublisher SiteGet Access