Article ID | Journal | Published Year | Pages | File Type |
---|---|---|---|---|
9657225 | The Journal of Logic and Algebraic Programming | 2005 | 35 Pages |
Abstract
We present a symbolic decision procedure for time-sensitive cryptographic protocols. We consider protocols described in a process algebra-like notation that includes clocks, time-stamps and time variables. While the values of all clocks increase with rate one when time passes, time variables are simply variables that range over the time domain and can be used to remember time-stamps, i.e. time values. Our symbolic decision procedure deals with secrecy, authentication and any property that can be described as a safety property. Our approach is based on a logic representation of sets of configurations that combines a decidable logic with time constraints.
Related Topics
Physical Sciences and Engineering
Computer Science
Computational Theory and Mathematics
Authors
Liana Bozga, Cristian Ene, Yassine Lakhnech,