@INPROCEEDINGS{RegularSPKICSPW,
AUTHOR = {M. Dam},
TITLE = {Regular {SPKI}},
BOOKTITLE = {Proc. of Cambridge Security Protocol Workshop},
OPTVOLUME = {1421},
OPTPAGES = {38--41},
YEAR = {2003},
NOTE = {to appear},
URL = {http://www.sics.se/~mfd/RegularSPKIfinal.pdf}
}
@INPROCEEDINGS{SecureImplementationESOP,
AUTHOR = {P. Giambiagi and M. Dam},
TITLE = {On the Secure Implementation of Security Protocols},
BOOKTITLE = {Proc. ESOP'03},
VOLUME = {2618},
PAGES = {144--158},
YEAR = {2003},
SERIES = {Springer LNCS},
URL = {http://www.sics.se/~mfd/esop03.pdf}
}
@ARTICLE{GlobalInductionRairo,
AUTHOR = {C. Sprenger and M. Dam},
TITLE = {A Note on Global Induction Mechanisms in a $\mu$-Calculus
With Explicit Approximations},
JOURNAL = {{\em To appear in} RAIRO, Theoretical Informatics and
Applications},
YEAR = {2004(?)},
NOTE = {Special issue on FICS'02},
URL = {http://www.sics.se/~mfd/ITA-final.ps}
}
@ARTICLE{SecureImplementationJSCP,
AUTHOR = {P. Giambiagi and M. Dam},
TITLE = {On the Secure Implementation of Security Protocols},
JOURNAL = {{\em To appear in} Science of Computer Programming},
YEAR = {2004(?)},
NOTE = {Special issue on ESOP'03},
URL = {http://www.sics.se/~mfd/SecureImplementation.pdf}
}
@ARTICLE{ErlangVerificationSTTT,
AUTHOR = {L.-\aa. Fredlund and D. Gurov and T. Noll and M. Dam and T. Arts and G. Chugunov},
TITLE = {A Tool for Verifying Software Written in Erlang},
JOURNAL = {Int. Journal of Software Tools for Technology Transfer},
YEAR = {2003},
VOLUME = {4},
NUMBER = {4},
PAGES = {405--420},
MONTH = {August},
URL = {http://www.sics.se/~mfd/sttt.ps}
}
@ARTICLE{Ama-Dam-94,
AUTHOR = {R. Amadio and M. Dam},
TITLE = {Reasoning About Higher-Order Processes},
JOURNAL = {{\em SICS Research report RR:94--18}},
YEAR = {1994},
URL = {ftp://sics.se/pub/SICS-reports/Reports/SICS-R--94:18--SE.ps.Z}
}
@INPROCEEDINGS{Ama-Dam-95,
AUTHOR = {R. Amadio and M. Dam},
TITLE = {Reasoning about Higher-Order Processes},
BOOKTITLE = {Proc. CAAP'95},
SERIES = {Springer LNCS},
YEAR = {1995},
VOLUME = {915},
PAGES = {202--217}
}
@INPROCEEDINGS{Ama-Dam-96,
AUTHOR = {R. Amadio and M. Dam},
TITLE = {A Modal Theory of Types for the $\pi$-Calculus},
BOOKTITLE = {Proc. FTRTFT'96},
SERIES = {Springer LNCS},
YEAR = {1996},
VOLUME = {1135},
PAGES = {347--365},
URL = {ftp://sics.se/pub/fdt/mfd/tmttpc.ps.Z}
}
@ARTICLE{Dam-96,
AUTHOR = {M. Dam},
TITLE = {Model Checking Mobile Processes},
JOURNAL = {Information and Computation},
YEAR = {1996},
VOLUME = {129},
NUMBER = {1},
PAGES = {35--51},
URL = {ftp://ftp.sics.se/pub/fdt/mfd/mcmpiac.ps.Z}
}
@ARTICLE{Dam-Jen-86,
AUTHOR = {M. Dam and F. Jensen},
TITLE = {Compiler Generation from Relational Semantics},
JOURNAL = {{\em In} Proc. European Symposium on Programming},
SERIES = {Springer LNCS},
YEAR = {1986},
VOLUME = {213},
PAGES = {1--29}
}
@INPROCEEDINGS{Dam-88,
AUTHOR = {M. Dam},
TITLE = {Relevance Logic and Concurrent Composition},
BOOKTITLE = {Proc. 3rd Ann. Symp. on Logic in
Computer Science},
YEAR = {1988},
PAGES = {178--185}
}
@PHDTHESIS{Dam-90,
AUTHOR = {M. Dam},
TITLE = {Relevance Logic and Concurrent Composition},
SCHOOL = {Dept. of Computer Science, University of Edinburgh},
YEAR = {1990},
NOTE = {CST--66--90. Also published as ECS--LFCS--90--119},
URL = {ftp://sics.se/pub/fdt/mfd/thesis.ps.Z}
}
@ARTICLE{Dam-94-Tra,
AUTHOR = {M. Dam},
TITLE = {{CTL}$^*$ and {ECTL}$^*$ as Fragments of the
Modal Mu-Calculus},
JOURNAL = {Theoretical Computer Science},
YEAR = {1994},
VOLUME = {126},
NUMBER = {1},
PAGES = {77--96},
URL = {http://www.sics.se/~mfd/CTLStarECTLStar.ps}
}
@INPROCEEDINGS{Dam-92-Tra,
AUTHOR = {M. Dam},
TITLE = {{CTL}$^*$ and {ECTL}$^*$ as Fragments of the
Modal Mu-Calculus},
BOOKTITLE = {Proc. CAAP'92},
SERIES = {Springer LNCS},
YEAR = {1992},
VOLUME = {581},
PAGES = {145--164}
}
@INPROCEEDINGS{Dam-92-Lin,
AUTHOR = {M. Dam},
TITLE = {Fixed Points of {B}\mbox{\"u}chi Automata},
BOOKTITLE = {Proc. 12th Conf. Foundations of Software
Technology and Theoretical Computer Science},
SERIES = {Springer LNCS},
YEAR = {1992},
VOLUME = {652},
PAGES = {39--50}
}
@TECHREPORT{Dam-92-Pro,
AUTHOR = {M. Dam},
TITLE = {Process-Algebraic Interpretations of Positive Linear
and Relevant Logics},
INSTITUTION = {LFCS, Dept. of Computer Science, University
of Edinburgh},
YEAR = {1992},
NUMBER = {ECS-LFCS-92-216}
}
@ARTICLE{Dam-94-Pro,
AUTHOR = {M.Dam},
TITLE = {Process-Algebraic Interpretations of
Positive Linear and Relevant Logics},
JOURNAL = {Journal of Logic and Computation},
YEAR = {1994},
VOLUME = {4},
PAGES = {939--973},
URL = {http://www.sics.se/~mfd/PossiblyJLC94.dvi},
NOTE = {Link is probably not to final version}
}
@ARTICLE{Dam-92-RGen,
AUTHOR = {M. Dam},
TITLE = {${R}$-generability, and Definability in Branching
Time Logics},
JOURNAL = {Information Processing Letters},
YEAR = {1992},
VOLUME = {41},
PAGES = {281--287}
}
@INPROCEEDINGS{Gia-Dam-00,
AUTHOR = {P. Giambiagi and M. Dam},
TITLE = {Confidentiality for Mobile Code: The Case of a Simple
Payment Protocol},
BOOKTITLE = {{\em In} Proc. 13th IEEE
Computer Security Foundations Workshop},
YEAR = {2000},
PAGES = {233--244},
URL = {ftp://ftp.sics.se/pub/fdt/mfd/csfw13.ps}
}
@INPROCEEDINGS{Dam-93-Concur,
AUTHOR = {M. Dam},
TITLE = {Model Checking Mobile Processes},
BOOKTITLE = {Proc. CONCUR'93},
SERIES = {Springer LNCS},
YEAR = {1993},
VOLUME = {715},
PAGES = {22--36}
}
@ARTICLE{Dam-94-ModCheMobProFulVer,
AUTHOR = {M. Dam},
TITLE = {Model Checking Mobile Processes (Full version)},
JOURNAL = {{\em SICS report RR 94:1}},
YEAR = {1994},
NOTE = {Prel. version appeared in Proc. Concur'93,
LNCS 715, pp. 22--36}
}
@INPROCEEDINGS{Dam-95-Bis,
AUTHOR = {M. Dam},
TITLE = {On the Decidability of Process Equivalences for the
$\pi$-Calculus},
BOOKTITLE = {Proc. AMAST'95},
SERIES = {Springer LNCS},
YEAR = {1995},
VOLUME = {936},
PAGES = {169--183}
}
@ARTICLE{Dam-94-MTL,
AUTHOR = {M. Dam},
TITLE = {Temporal Logic, Automata, and Classical Theories ---
An Introduction},
JOURNAL = {{\em Notes for the 6th European Summer School in
Logic, Language, and Information}},
YEAR = {1994},
URL = {ftp://ftp.sics.se/pub/fdt/mfd/tlact.ps.Z}
}
@INPROCEEDINGS{Dam-95,
AUTHOR = {M. Dam},
TITLE = {Compositional Proof Systems for Model
Checking Infinite State Processes},
BOOKTITLE = {Proc. CONCUR'95},
SERIES = {Springer LNCS},
YEAR = {1995},
VOLUME = {962},
PAGES = {12--26}
}
@ARTICLE{Dam-98-Dyn,
AUTHOR = {M. Dam},
TITLE = {Proving Properties of Dynamic Process Networks},
JOURNAL = {Information and Computation},
YEAR = {1998},
VOLUME = {140},
PAGES = {95--114},
URL = {ftp://ftp.sics.se/pub/fdt/mfd/ppdpn.ps.Z}
}
@INPROCEEDINGS{Dam-98-Trust,
AUTHOR = {M. Dam},
TITLE = {Proving Trust in Systems of Second-Order Processes},
BOOKTITLE = {Proc. HICSS'31},
PUBLISHER = {IEEE Comp. Soc.},
YEAR = {1998},
VOLUME = {VII},
PAGES = {255-264},
URL = {ftp://sics.se/pub/fdt/mfd/ptssop.ps.Z}
}
@INPROCEEDINGS{Dam-Fre-98,
AUTHOR = {M. Dam and L.-\aa. Fredlund},
TITLE = {On the Verification of Open Distributed Systems},
BOOKTITLE = {Proc. of the ACM Symposium on Applied
Computing},
YEAR = {1998},
PAGES = {532--540},
URL = {ftp://ftp.sics.se/pub/fdt/mfd/vods.ps.Z}
}
@ARTICLE{Dam-Fre-Gur-98,
AUTHOR = {M. Dam and {L.-\aa}. Fredlund and D. Gurov},
TITLE = {Toward Parametric Verification of Open Distributed Systems},
JOURNAL = {{\em In} Compositionality: the Significant
Difference,
{\em H. Langmaack, A. Pnueli and W.-P. de Roever (eds.),
Springer}},
YEAR = {1998},
VOLUME = {1536},
PAGES = {150--185},
URL = {ftp://ftp.sics.se/pub/fdt/mfd/tpvods.ps.Z}
}
@ARTICLE{Dam-Fre-Gur-98-2,
AUTHOR = {M. Dam and {L.-\aa}. Fredlund and D. Gurov},
TITLE = {Compositional Verification of Erlang Programs},
JOURNAL = {Proc. Third
International Workshop on Formal Methods for Industrial
Critical Systems (FMICS), CWI},
YEAR = {1998}
}
@ARTICLE{Dam-96-MAV,
AUTHOR = {M. Dam},
TITLE = {Modalities in Analysis and Verification},
JOURNAL = {ACM Computing Surveys},
YEAR = {1996},
VOLUME = {28},
PAGES = {346--348},
URL = {ftp://sics.se/pub/fdt/mfd/mav.ps.Z}
}
@ARTICLE{Dam-97-Bis,
AUTHOR = {M. Dam},
TITLE = {On the Decidability of Process Equivalences for the
$\pi$-Calculus},
JOURNAL = {Theoretical Computer Science},
YEAR = {1997},
VOLUME = {183},
PAGES = {215--228},
URL = {http://www.sics.se/~mfd/tcs97bisim.ps}
}
@INPROCEEDINGS{Viv-Dam-98,
AUTHOR = {J.-L. Vivas and M. Dam},
TITLE = {From Higher-Order $\pi$-Calculus to $\pi$-Calculus
in the Presence of Static Operators},
BOOKTITLE = {Proc. CONCUR},
SERIES = {Springer LNCS},
VOL = {1466},
PAGES = {115--130},
YEAR = {1998},
URL = {ftp://ftp.sics.se/pub/fdt/mfd/fhoptppso.ps.Z}
}
@ARTICLE{Dam-Gur-99,
AUTHOR = {M. Dam and D. Gurov},
TITLE = {$\mu$-Calculus with Explicit Points and Approximations},
JOURNAL = {{\em In:} Proc. FICS'2000},
YEAR = {2000}
}
@ARTICLE{Dam-Gur-02,
AUTHOR = {M. Dam and D. Gurov},
TITLE = {Mu-Calculus with Explicit Points and Approximations},
JOURNAL = {Journal of Logic and Computation},
NOTE = {Abstract in Proc. FICS'00},
YEAR = {2002},
VOL = {12},
NUMBER = {2},
MONTH = {April},
PAGES = {255--269},
URL = {http://www.sics.se/~mfd/jlc02.pdf}
}
@INPROCEEDINGS{Dam-Gur-99A,
AUTHOR = {M. Dam and D. Gurov},
TITLE = {Compositional Verification of {CCS} Processes},
BOOKTITLE = {Proc. PSI'99},
SERIES = {Springer LNCS},
YEAR = {1999},
VOLUME = {1755},
PAGES = {247--256}
}
@INPROCEEDINGS{ADFG98,
AUTHOR = {T.~Arts and M.~Dam and L.~Fredlund and D.~Gurov},
TITLE = {System Description: Verification of Distributed
{Erlang} Programs},
BOOKTITLE = {Proc.\ of CADE'98},
SERIES = {Springer LNAI},
VOLUME = {1421},
PAGES = {38--41},
YEAR = {1998},
URL = {ftp://ftp.sics.se/pub/fdt/mfd/cade98.ps.Z}
}
@INPROCEEDINGS{AD99,
AUTHOR = {T.~Arts and M.~Dam},
TITLE = {Verifying a Distributed Database Lookup Manager
Written in {E}rlang},
BOOKTITLE = {{FM}'99---Formal Methods, Volume~{I}},
YEAR = {1999},
VOLUME = {1708},
SERIES = {Lecture Notes in Computer Science},
PUBLISHER = {Springer},
PAGES = {682--700},
URL = {ftp://ftp.sics.se/pub/fdt/mfd/fm99.ps}
}
@INPROCEEDINGS{Dam-ProofSystems-02,
AUTHOR = {M.~Dam},
TITLE = {Proof Systems for Pi-Calculus Logics},
BOOKTITLE = {Logic for Concurrency and Synchronisation,
R. de Queiroz (ed.)},
YEAR = {2003},
SERIES = {Trends in Logic, Studia Logica Library},
PUBLISHER = {Kluwer},
PAGES = {145--212},
URL = {ftp://ftp.sics.se/pub/fdt/mfd/pspcl.ps}
}
@BOOK{Dam-lomapsbook-97,
EDITOR = {M. Dam},
TITLE = {Analysis and Verification of Multiple-Agent Languages},
PUBLISHER = {Springer-Verlag},
YEAR = {1997},
SERIES = {Lecture Notes in Computer Science},
VOL = {1192}
}
@INPROCEEDINGS{bds-02,
AUTHOR = {O.~Bandmann and M.~Dam and B. Sadighi Firozabadi},
TITLE = {Constrained delegation},
BOOKTITLE = {Proc. IEEE Symp. on Security and Privacy},
YEAR = {2002},
PAGES = {131--142},
URL = {http://www.sics.se/~mfd/SandP02FinalVersion.ps}
}
@INPROCEEDINGS{InductiveReasoningFossacs,
AUTHOR = {C. Sprenger and M. Dam},
TITLE = {On the Structure of Inductive Reasoning: Circular and
Tree-shaped Proofs in the mu-Calculus},
BOOKTITLE = {Proc. FOSSACS'03},
SERIES = {Springer LNCS},
YEAR = {2003},
VOL = {2620},
PAGES = {425--440},
URL = {http://www.sics.se/~mfd/fossacs03.ps}
}
@INPROCEEDINGS{SPKIAuthrorisationPKI,
AUTHOR = {O. Bandmann and M. Dam},
TITLE = {Note on SPKI's Authorisation Syntax},
BOOKTITLE = {Proc. 1st International PKI Research Workshop},
PUBLISHER = {NIST},
YEAR = {2002},
URL = {http://www.sics.se/~mfd/SPKI-authorisation.pdf}
}
@INPROCEEDINGS{ResearchAgendaRVK,
AUTHOR = {M. Dam and G. Karlsson and B. S. Firozabadi, R. Stadler},
TITLE = {A Research Agenda for Distributed Policy-Based Management},
BOOKTITLE = {Proc. Radiovetenskap och Kommunikation (RVK)},
YEAR = {2002}
}
@INPROCEEDINGS{Dam-Stadler-05,
AUTHOR = {M. Dam and R. Stadler},
TITLE = {A Generic Protocol for Network State Aggregation},
BOOKTITLE = {Proc. Radiovetenskap och Kommunikation (RVK)},
YEAR = {2005}
}
@INPROCEEDINGS{Cohen-Dam-05,
AUTHOR = {M. Cohen and M. Dam},
TITLE = {Logical Omniscience in the Semantics of {BAN} Logic},
BOOKTITLE = {Proc. FCS'05},
YEAR = {2005}
}
This file has been generated by bibtex2html 1.74