@inproceedings{JKMR15,
  author        = {Ravi Jhawar and Barbara Kordy and Sjouke Mauw and Sa\v{s}a Radomirovi\'c and Rolando Trujillo-Rasua},
  title         = {Attack trees with sequential conjunction},
  booktitle     = {Proc.\ 30th IFIP TC-11 International Information Security and Privacy Conference (IFIPSec'15)},
  publisher     = {Springer-Verlag},
  series        = {IFIP AICT},
  editor        = {H.\ Federrath and D.\ Gollmann},
  month         = {May 31-28},
  year          = {2015},
  volume        = {455},
  address       = {Hamburg, Germany},
  pages         = {339--353}
}