@InProceedings{ AbadiGordon:97:CONCUR,
author = {Martin Abadi and Andrew D. Gordon},
title = {Reasoning about Cryptographic Protocols in the Spi Calculus},
booktitle = {CONCUR'97},
OPTcrossref = {},
OPTkey = {},
pages = {59--73},
year = {1997},
month = JUL,
OPTorganization = {},
publisher = S-V,
url = {http://types.bu.edu/ProgTheWebFiles/concur97.ps.gz}
}
@InProceedings{ AbadiGordon:97:CCCS,
author = {Martin Abadi and Andrew D. Gordon},
title = {A Calculus for Cryptographic Protocols: The Spi Calculus},
booktitle = {Proceedings of the 4th ACM Conference on Computer and Communications Security},
OPTcrossref = {},
OPTkey = {},
pages = {36--47},
year = {1997},
month = APR,
url = {http://types.bu.edu/ProgTheWebFiles/new-cccs.ps.gz}
}
@InProceedings{ Agat:00:POPL,
author = {Johan Agat},
title = {Transforming out Timing Leaks},
booktitle = {POPL'00, Boston, Massachusetts},
OPTcrossref = {},
OPTkey = {},
pages = {40--53},
year = {2000},
OPTvolume = {},
OPTnumber = {},
publisher = {{ACM} {P}ress},
OPTnote = {},
OPTannote = {}
}
@InProceedings{AlexanderEtAl97,
author = "D. Scott Alexander and Marianne Shaw and Scott Nettles
and Jonathan M. Smith",
title = "Active Bridging",
booktitle = "Proceedings of ACM SIGCOMM '97 (Cannes, France)",
month = "September",
year = "1997"
}
@InProceedings{ AppelFelty:00:POPL,
author = {Andrew W. Appel and Amy P. Felty},
title = {A Semantic Model of Types and Machine Instructions for Proof-Carrying Code},
booktitle = {POPL'00, Boston, Massachusetts},
OPTcrossref = {},
OPTkey = {},
pages = {243--253},
year = {2000},
publisher = {{ACM} {P}ress},
OPTnote = {},
OPTannote = {}
}
@InProceedings{ BodeiDeganoNielson:99:FOSSACS,
author = {C. Bodei and P. Degano and F. Nielson and H. R. Nielson},
title = {Static Analysis of Processes for No Read-Up and No Write-Down},
booktitle = {FOSSACS'99},
OPTcrossref = {},
OPTkey = {},
pages = {120--134},
year = {1999},
volume = {1578},
series = LNCS,
publisher = S-V,
OPTnote = {},
OPTannote = {In the framework of the pi-calculus, a flow logic ensures that high-trust processes never communicate names to low-trust processes.}
}
@Unpublished{BDNN:00:SecurityFlow,
author = {C. Bodei and P. Degano and H. Riis Nielson and F. Nielson},
title = "Security Analysis using Flow Logics",
note = "Manuscript",
year = "2000",
note = "submitted to EATCS Bulletin",
OPTannote = "Position statement on the use of flow logic in security analysis."
}
@InProceedings{ CardelliGordon:98,
author = {Luca Cardelli and Andrew D. Gordon},
title = {Mobile Ambients},
booktitle = {Foundations of Software Science and Computational Structures},
OPTcrossref = {},
OPTkey = {},
pages = {140--155},
year = {1998},
editor = {Maurice Nivat},
volume = {1378},
series = LNCS,
publisher = S-V,
url = {http://types.bu.edu/ProgTheWebFiles/MobileAmbients_US.pdf.gz}
}
@InProceedings{ Cardelli:99:AbstractionsMobile,
author = {Luca Cardelli},
title = {Abstractions for Mobile Computation},
booktitle = {Secure Internet Programming: Security Issues for Mobile and Distributed Objects},
OPTcrossref = {},
OPTkey = {},
pages = {51--94},
year = {1999},
editor = {Jan Vitek and Christian Jensen},
OPTvolume = {1603},
series = LNCS,
publisher = S-V,
url = {http://types.bu.edu/ProgTheWebFiles/Abstractions.pdf.gz}
}
@InProceedings{ CardelliGordon:99:POPL,
author = {Luca Cardelli and Andrew D. Gordon},
title = {Types for Mobile Ambients},
booktitle = {POPL'99, San Antonio, Texas},
OPTcrossref = {},
OPTkey = {},
pages = {79--92},
year = {1999},
OPTorganization = {},
publisher = {{ACM} {P}ress},
url = {http://types.bu.edu/ProgTheWebFiles/Types_MA.pdf.gz}
}
@InProceedings{ CardelliGhelliGordon:99:ICALP,
author = {Luca Cardelli and Giorgio Ghelli and Andrew D. Gordon},
title = {Mobility Types for Mobile Ambients},
booktitle = {ICALP'99},
OPTcrossref = {},
OPTkey = {},
pages = {230--239},
year = {1999},
editor = {Jiri Wiedermann and Peter van Emde Boas and Mogens Nielsen},
volume = {1644},
series = LNCS,
publisher = S-V,
note = {Extended version appears as Microsoft Research Technical Report MSR-TR-99-32, 1999, with url = http://types.bu.edu/ProgTheWebFiles/Mobile_Types.ps.gz}
}
@InProceedings{ CardelliGordon:00:POPL,
author = {Luca Cardelli and Andrew D. Gordon},
title = {Anytime, Anywhere: Modal Logics for Mobile Ambients},
booktitle = {POPL'00, Boston, Massachusetts},
OPTcrossref = {},
OPTkey = {},
pages = {365--377},
year = {2000},
publisher = {{ACM} {P}ress},
url = {http://types.bu.edu/ProgTheWebFiles/AnytimeAnywhere.ps.gz}
}
@InProceedings{ CarzanigaPiccoVigna:97:ICSE,
author = {A. Carzaniga and G. P. Picco and G. Vigna},
title = {Designing Distributed Applications with Mobile Code Paradigms},
booktitle = {Proceedings of the 19th International Conference on Software Engineering, Boston, Massachusetts},
OPTcrossref = {},
OPTkey = {},
OPTpages = {},
year = {1997},
month = APR,
url = {http://types.bu.edu/ProgTheWebFiles/Carzaniga-DDAWMCP.ps.gz}
}
@InProceedings{ GhezziVigna:97:MA,
author = {C. Ghezzi and G. Vigna},
title = {Mobile Code Paradigms and Technologies: A Case Study},
booktitle = {Proc.~First International Workshop on Mobile Agents (MA '97), Berlin, Germany},
OPTcrossref = {},
OPTkey = {},
OPTpages = {},
year = {1997},
editor = {K. Rothermel and R. Popescu-Zeletin},
volume = {1219},
series = LNCS,
OPTorganization = {},
publisher = S-V,
month = APR,
url = {http://types.bu.edu/ProgTheWebFiles/Ghezzi-MCPTCS.ps.gz}
}
@Book{ Gollmann:99,
author = {Dieter Gollmann},
title = {Computer Security},
publisher = {Wiley},
year = {1999},
OPTnote = {},
OPTannote = {}
}
@TechReport{HartmanEtAl97,
author = "John H. Hartman and Larry L. Peterson and Andy Bavier and
Peter A. Bigot and Patrick Bridges and Brady Montz and Rob Piltz
and Todd A. Proebsting and Oliver Spatscheck",
title = "Joust: A Platform for Communication-Oriented Liquid
Software",
institution = "Department of Computer Science, University of
Arizona",
year = "1997",
number = "TR 97-16",
month = "December"
}
@InProceedings{HeintzeRiecke:98:POPL,
author = {Nevin Heintze and Jon G. Riecke},
title = {The {SL}am calculus: Programming with Secrecy and Integrity},
booktitle = {POPL'98},
OPTcrossref = {},
OPTkey = {},
pages = {365--377},
year = {1998},
publisher = {ACM Press},
OPTnote = {},
OPTannote = {}
}
@InProceedings{HicksEtAl98,
author = "Michael Hicks and Pankaj Kakkar and Jonathan T. Moore and
Carl A. Gunter
and Scott Nettles",
title = "PLAN: A Packet Language for Active Networks",
booktitle = "Proceedings of the International Conference on
Functional Programming (ICFP) '98",
month = "September",
year = "1998"
}
@InCollection{ LeroyRouaix:99:Secure,
author = {Xavier Leroy and François Rouaix},
title = {Security Properties of Typed Applets},
booktitle = {Secure Internet Programming---Security issues for Mobile and Distributed Objects},
OPTcrossref = {},
OPTkey = {},
OPTpages = {},
publisher = S-V,
year = {1999},
OPTeditor = {},
volume = {1603},
series = LNCS,
OPTchapter = {},
note = {A preliminary version appeared in POPL'98, pages 391--403, ACM, 1998},
OPTannote = {Formalises the folklore notion that strongly-typed applets are more secure than untyped ones}
}
@InProceedings{ LeviSangiorgi:00:POPL,
author = {Francesca Levi and Davide Sangiorgi},
title = {Controlling Interference in Ambients},
booktitle = {POPL'00, Boston, Massachusetts},
OPTcrossref = {},
OPTkey = {},
pages = {352--364},
year = {2000},
publisher = {{ACM} {P}ress},
url = {http://types.bu.edu/ProgTheWebFiles/SafeAmbients.ps.gz}
}
@inproceedings{Necula97,
author = "George C. Necula",
title = "Proof-Carrying Code",
booktitle = "Proceedings of 24th ACM POPL",
pages = "106--119",
month = "January",
year = "1997",
url = {http://types.bu.edu/ProgTheWebFiles/necula97.ps.gz}
}
@inproceedings{NeculaLee98a,
author = "George C. Necula and Peter Lee",
title = "The Design and Implementation of a Certifying Compiler",
booktitle = "Proceedings of ACM PLDI '98",
month = "June",
year = "1998"
}
@inproceedings{NeculaLee98b,
author = "George C. Necula and Peter Lee",
title = "Efficient Representation and Validation of Proofs",
booktitle = "Proceedings of IEEE LICS '98",
month = "June",
year = "1998"
}
@InCollection{NeculaLee98c,
author = "George C. Necula and Peter Lee",
title = "Safe, Untrusted Agents using Proof-Carrying Code",
booktitle = "Special Issue on Mobile Agent Security, LNCS 1419",
editor = "G. Vigna",
month = "January",
year = "1998",
publisher = "Springer Verlag",
}
@InProceedings{ Nielson:99:CONCUR,
author = {Flemming Nielson and Hanne Riis Nielson and Rene Rydhof Hansen and Jacob Grydholt Jensen},
title = {Validating Firewalls in Mobile Ambients},
booktitle = {Proc.~CONCUR'99},
OPTcrossref = {},
OPTkey = {},
pages = {463--477},
year = {1999},
volume = {1664},
series = LNCS,
OPTorganization = {},
publisher = S-V,
url = {http://types.bu.edu/ProgTheWebFiles/Firewalls.pdf.gz}
}
@InProceedings{NielsonNielson:00:POPL,
author = "H. R. Nielson and F. Nielson",
title = "Shape Analysis for Mobile Ambients",
booktitle = "Proc.~POPL'00",
pages = "142--154",
publisher = "ACM Press",
year = "2000",
OPTannote = "Using techniques from pointer analysis, precisely predicts which processes that may turn up at what sites."
}
@Book{,
author = {Bruce Schneier},
title = {Applied Cryptography},
publisher = {Wiley},
year = {1996},
OPTnote = {Second Edition},
OPTannote = {}
}
@Book{ Stallings:99,
author = {William Stallings},
title = {Cryptography and Network Security: Principles and Practice},
publisher = {Prentice Hall},
year = {1999},
OPTnote = {Second Edition},
OPTannote = {}
}
@Article{TennenhouseWetherall96,
author = "David L. Tennenhouse and David J. Wetherall",
title = "Towards an Active Network Architecture",
journal = "Computer Communication Review",
month = "April",
year = "1996",
volume = "26",
number = "2"
}
@InProceedings{ Volpano:99:SAS,
author = {Dennis Volpano},
title = {Safety versus Secrecy},
booktitle = {SAS'99},
OPTcrossref = {},
OPTkey = {},
pages = {303--311},
year = {1999},
volume = {1694},
series = LNCS,
publisher = S-V,
OPTnote = {},
OPTannote = {}
}
@InProceedings{WetherallTennenhouse96,
author = "David J. Wetherall and David L. Tennenhouse",
title = "The ACTIVE IP Option",
booktitle = "Proceedings of 7th ACM SIGOPS European Workshop
(Connemara, Ireland)",
month = "September",
year = "1996"
}
@InProceedings{WetherallGuttagTennenhouse98,
author = "David J. Wetherall and John Guttag and David L.
Tennenhouse",
title = "ANTS: A Toolkit for Building and Dynamically Deploying
Network Protocols",
booktitle = "Proceedings of 1st IEEE Conference on Open Architecture
and Network
Programming (OPENARCH '98)",
month = "April",
year = "1998"
}
