Attacking Group Protocols by Refuting Incorrect Inductive Conjectures (bibtex)
by Graham Steel, Alan Bundy
Abstract:
Automated tools for finding attacks on flawed security protocols often fail to deal adequately with group protocols. The reason is that the abstractions made to improve performance on fixed two- or three-party protocols either preclude the modeling of group protocols altogether or permit modeling only in a fixed scenario, which can prevent attacks from being discovered. This paper describes \textscCoral, a tool for finding counterexamples to incorrect inductive conjectures, which we have used to model protocols for both group key agreement and group key management, without any restrictions on the scenario. We show how we used \textscCoral to discover six previously unknown attacks on three group protocols.
Reference:
Attacking Group Protocols by Refuting Incorrect Inductive Conjectures (Graham Steel, Alan Bundy), In Journal of Automated Reasoning, Springer, volume 36, 2006.
Bibtex Entry:
@article{SB-jar06,
  abstract =      {Automated tools for finding attacks on flawed
                   security protocols often fail to deal adequately with
                   group protocols. The reason is that the abstractions
                   made to improve performance on fixed two- or
                   three-party protocols either preclude the modeling of
                   group protocols altogether or permit modeling only in
                   a fixed scenario, which can prevent attacks from
                   being discovered. This paper describes
                   \textsc{Coral}, a tool for finding counterexamples to
                   incorrect inductive conjectures, which we have used
                   to model protocols for both group key agreement and
                   group key management, without any restrictions on the
                   scenario. We show how we used \textsc{Coral} to
                   discover six previously unknown attacks on three
                   group protocols.},
  author =        {Steel, Graham and Bundy, Alan},
  DOI =           {10.1007/s10817-005-9016-8},
  journal =       {Journal of Automated Reasoning},
  month =         jan,
  number =        {1-2},
  pages =         {149-176},
  publisher =     {Springer},
  title =         {Attacking Group Protocols by Refuting Incorrect
                   Inductive Conjectures},
  volume =        {36},
  year =          {2006},
  nmonth =        {1},
  url =           {http://www.lsv.ens-cachan.fr/Publis/PAPERS/PDF/SB-jar06.pdf},
  PDF =           {http://www.lsv.ens-cachan.fr/Publis/PAPERS/PDF/SB-jar06.pdf},
  lsv-category =  {jour},
  lsv-time =      {ant},
  wwwpublic =     {perso},
}
Powered by bibtexbrowser