author | wenzelm |
Tue, 07 Aug 2007 20:43:36 +0200 | |
changeset 24179 | c89d77d97f84 |
parent 24178 | 4ff1dc2aa18d |
child 24180 | 9f818139951b |
--- a/src/HOL/UNITY/Simple/NSP_Bad.thy Tue Aug 07 20:19:55 2007 +0200 +++ b/src/HOL/UNITY/Simple/NSP_Bad.thy Tue Aug 07 20:43:36 2007 +0200 @@ -8,7 +8,7 @@ header{*Analyzing the Needham-Schroeder Public-Key Protocol in UNITY*} -theory NSP_Bad imports "../Auth/Public" "../UNITY_Main" begin +theory NSP_Bad imports "../../Auth/Public" "../UNITY_Main" begin text{*This is the flawed version, vulnerable to Lowe's attack. From page 260 of