@INPROCEEDINGS{BurmesterLM-2006-acisp,
    author        = {Burmester, Mike and Le, Tri van and Medeiros, Breno de},
    title         = {{Towards Provable Security for Ubiquitous Applications}},
    booktitle     = {Australasian Conference on Information Security and Privacy -- ACISP'06},
    year          = {2006},
    editor        = {Batten, Lynn Margaret and Safavi-Naini, Reihaneh},
    volume        = {4058},
    series        = {Lecture Notes in Computer Science},
    pages         = {295--312},
    address       = {Melbourne, Australia},
    month         = {July},
    organization  = {},
    publisher     = {Springer},
   bibsource     = {Information Security Group (GSI), UCL, Louvain-la-Neuve, Belgium},
}