@CONFERENCE\{IMM2007-04991,
    author       = "C. R. Nielsen and H. R. Nielson and F. Nielson",
    title        = "Cryptographic Pattern Matching",
    year         = "2007",
    keywords     = "Process Calculi, Pattern Matching, Cryptography, Formal Methods",
    booktitle    = "Second International Workshop on Views on Designing Complex Architectures (VODCA'06)",
    volume       = "",
    series       = "Electronic Notes in Theoretical Computer Science",
    editor       = "",
    publisher    = "Informatics and Mathematical Modelling, Technical University of Denmark, {DTU}",
    organization = "",
    address      = "Richard Petersens Plads, Building 321, {DK-}2800 Kgs. Lyngby",
    note         = "To Appear",
    url          = "http://www2.compute.dtu.dk/pubdb/pubs/4991-full.html",
    abstract     = "We construct a language extension for process calculi for modelling
the exchange of cryptographically composed data. More specifically,
we devise a succinct syntax for terms and patterns that captures the
intention behind perfect cryptography. The proposed language
extension is independent of the choice of process calculus and is
applicable to any calculus that supports exchange of data. Initially
we restrict the model to symmetric cryptography, but we also show
how it can be extended with support for asymmetric encryption and
digital signatures."
}