@misc {IOPORT.70167793,
    author       = {Cortier, V\'eronique and Keighren, Gavin and Steel, Graham},
    title        = {Automatic analysis of the security of XOR-based key management schemes},
    howpublished = {TACAS, 538-552 (2007).},
    year         = {2007},
    doi          = {10.1007/978-3-540-71209-1_42},
    identifier   = {70167793},
}