Computer Laboratory

2002

@INPROCEEDINGS{Pietzuch:01e,
  author = {Peter R. Pietzuch and Jean M. Bacon},
  title = {{Hermes: A Distributed Event-Based Middleware Architecture}},
  booktitle = {Proc. of the 1st Int. Workshop on Distributed Event-Based Systems (DEBS'02)},
  pages = {611-618},
  month = {July},
  year = 2002,
  address = {Vienna, Austria},
  pdf = {papers/prp-debs2002-hermes.pdf},
  ps = {papers/prp-debs2002-hermes.ps}
}
@INPROCEEDINGS{Pietzuch:02,
  author = {Peter R Pietzuch and Brian Shand},
  title = {{A Framework for Object-Based Event Composition in
                  Distributed Systems}},
  note = {Presented at the 12th International Network for PhD
                  Students in Object Oriented Systems (PhDOOS)
                  Workshop},
  year = 2002,
  month = JUN,
  address = {Malaga, Spain},
  pdf = {papers/prp-phdoos2002-ced.pdf},
  ps = {papers/prp-phdoos2002-ced.ps}
}
@INPROCEEDINGS{belokosztolszki02meta,
  author = {Andr\'as Belokosztolszki and Ken Moody},
  title = {Meta-Policies for Distributed Role-Based Access
                  Control Systems},
  booktitle = {Policy 2002: {IEEE} 3rd {I}nternational {W}orkshop
                  on {P}olicies for {D}istributed {S}ystems and
                  {N}etworks},
  year = 2002,
  month = JUN,
  pages = {106-115},
  location = {Monterey, California, USA},
  pdf = {papers/bk2002-policy.pdf},
  ps = {papers/bk2002-policy.ps}
}
@INPROCEEDINGS{Shan:2002,
  author = {Brian Shand and Jean Bacon},
  title = {Policies in Accountable Contracts},
  booktitle = {Policy 2002: IEEE 3rd International Workshop on Policies for Distributed Systems and Networks},
  pages = {80--91},
  month = JUN,
  year = 2002,
  address = {Monterey, CA, USA},
  pdf = {papers/S3_shand_b_distrib.pdf}
}
@ARTICLE{crowcroft:2002,
  author = {Jon Crowcroft and Jean Bacon and Peter Pietzuch and George 
Coulouris and Hani Naguib},
  title = {{Channel Islands in a Reflective Ocean: Large-Scale Event 
Distribution in Heterogeneous Networks}},
  journal = {IEEE Communications Magazine},
  year = {2002},
  volume = {40},
  number = {9},
  pages = {112-115},
  month = {September},
  pdf = {papers/ieee_comms_channel_islands.pdf}
}
@INPROCEEDINGS{SDS02,
  author = {Andrei Serjantov and Roger Dingledine and Paul
                  Syverson},
  title = {From a Trickle to a Flood: Active Attacks on Several
                  Mix Types},
  booktitle = {5th Workshop on Information Hiding},
  pages = {36-52},
  year = 2002,
  editor = {Fabien Petitcolas},
  volume = 2578,
  series = {LNCS},
  month = {October},
  publisher = {Springer-Verlag}
}
@INPROCEEDINGS{Serj02,
  author = {Andrei Serjantov and George Danezis},
  title = {Towards an Information Theoretic Metric for
                  Anonymity},
  booktitle = {Privacy Enhancing Technologies},
  year = 2002,
  editor = {Paul Syverson and Roger Dingledine},
  series = {LNCS},
  volume = 2482,
  address = {San Francisco, CA},
  month = {April},
  ps = {papers/aas23-pet-2002.ps},
  url = {http://petworkshop.org/2002/program.html}
}
@ARTICLE{AB2002f,
  author = {{Alan S. Abrahams and Jean M. Bacon}},
  title = {{A Software Implementation of Kimbrough's
                  Disquotation Theory for Representing and Enforcing
                  Electronic Commerce Contracts}},
  journal = {{Journal of Group Decision and Negotiation}},
  year = 2002,
  pages = {487--524},
  volume = 11,
  number = 6,
  url = {http://www.lebow.drexel.edu/wu300/GDN-SPI/Abrahams+.doc},
  month = {}
}
@INPROCEEDINGS{AB2002e,
  author = {{Alan S. Abrahams and David M. Eyers and Jean
                  M. Bacon}},
  title = {{An Asynchronous Rule-based Approach for Business
                  Process Automation Using Obligations}},
  booktitle = {{Proceedings of the 3rd ACM SIGPLAN Workshop on
                  Rule-Based Programming ({RULE'02})}},
  isbn = {1-58113-606-4},
  year = 2002,
  pages = {93--103},
  address = {Pittsburgh, Pennsylvania},
  url = {http://portal.acm.org/citation.cfm?id=570186.570195&dl=portal&dl=ACM&type=series&idx=SERIES10721&part=Proceedings&WantType=Proceedings&title=Workshop%20On%20Rule%2DBased%20Programming&CFID=11102605&CFTOKEN=95324615},
  volume = {},
  month = {October}
}
@INPROCEEDINGS{AB2002d,
  author = {{Alan S. Abrahams and David M. Eyers and Jean M. Bacon}},
  title = {{Mechanical Consistency Analysis for Business Contracts and Policies}},
  booktitle = {{Proceedings of the 5th International Conference on Electronic Commerce Research ({ICECR5})}},
  year = 2002,
  pages = {1--18},
  address = {Montreal, Canada},
  volume = {},
  pdf = {papers/icecr5.pdf},
  ps = {papers/icecr5.ps},
  month = {October}
}
@INPROCEEDINGS{AB2002c,
  author = {{Alan S. Abrahams and David M. Eyers and Jean
                  M. Bacon}},
  title = {{A Coverage Determination Mechanism for Checking
                  Business Contracts Against Organizational Policies}},
  booktitle = {{Proceedings of the 3rd VLDB Workshop on
                  Technologies for E-Services ({TES'02}). Lecture
                  Notes in Computer Science 2444.}},
  year = 2002,
  pages = {97--106},
  address = {Hong Kong, China},
  volume = {},
  note = {(c) Springer Verlag},
  pdf = {papers/tes02.pdf},
  ps = {papers/tes02.ps},
  url = {http://www.springer.de/comp/lncs/index.html},
  month = {August}
}
@INPROCEEDINGS{AB2002b,
  author = {{Alan S. Abrahams and Jean M. Bacon}},
  title = {{The Life and Times of Identified, Situated, and Conflicting Norms}},
  booktitle = {{Proceedings of the 6th International Workshop on Deontic Logic in Computer Science ({DEON'02})}},
  year = 2002,
  pages = {3--20},
  address = {London, England},
  volume = {},
  url = {papers/deon02_abrahams_bacon.doc},
  pdf = {papers/deon02_abrahams_bacon.pdf},
  ps = {papers/deon02_abrahams_bacon.ps},
  month = {May}
}
@TECHREPORT{AB2002a,
  author = {{Alan S. Abrahams and Steven O. Kimbrough}},
  title = {{Treating Disjunctive Obligation and Conjunctive Action in Event Semantics with Disquotation}},
  institution = {{Wharton Business School}},
  type = {Working Paper Series},
  number = {02-03-01},
  year = 2002,
  pages = {},
  address = {Philadelphia, Pennsylvania},
  pdf = {papers/asa_sok_wwp.pdf},
  month = {March}
}
@INPROCEEDINGS{WNSS01,
  author = {Keith Wansbrough and Michael Norrish and Peter
                  Sewell and Andrei Serjantov},
  title = {Timing {UDP}: mechanized semantics for sockets,
                  threads and failures},
  booktitle = {Proceedings of ESOP 2002: European Symposium on
                  Programming (Grenoble) LNCS 2305},
  pages = {278--294},
  year = 2002,
  month = APR,
  url = {http://www.cl.cam.ac.uk/users/pes20/Netsem/timing-udp-a4.ps}
}
@INPROCEEDINGS{NSW02,
  author = {Michael Norrish and Peter Sewell and Keith
                  Wansbrough},
  title = {Rigour is good for you, and feasible: reflections on
                  formal treatments of {C} and {UDP} sockets. },
  booktitle = {Proceedings of 10th ACM SIGOPS European Workshop
                  (Saint-Emilion)},
  pages = {49--53},
  year = 2002,
  month = SEP,
  url = {http://www.cl.cam.ac.uk/users/pes20/Netsem/sigops-ew2002.ps}
}
@ARTICLE{Sew99a,
  author = {Peter Sewell},
  title = {From Rewrite Rules to Bisimulation Congruences},
  journal = {Theoretical Computer Science},
  year = 2002,
  volume = 274,
  number = {1--2},
  month = MAR,
  pages = {183--230},
  url = {http://www.cl.cam.ac.uk/users/pes20/labels-tcs-final.ps.gz}
}
@INPROCEEDINGS{Serj02b,
  title = {Anonymizing censorship resistant systems},
  author = {Andrei Serjantov},
  booktitle = {Proceedings of the 1st International Peer To Peer
                  Systems Workshop (IPTPS 2002)},
  year = 2002,
  month = {March},
  pdf = {http://www.cs.rice.edu/Conferences/IPTPS02/120.pdf}
}
@ARTICLE{cacm:2002,
  author = {Jean Bacon and Ken Moody},
  title = {Adaptive Middleware: {Toward} open, secure, widely distributed services},
  journal = {Communications of the ACM},
  year = 2002,
  volume = 45,
  number = 6,
  pages = {59--63},
  month = JUN,
  url = {http://portal.acm.org/citation.cfm?id=508475&coll=portal&dl=ACM&CFID=13115309&CFTOKEN=20006716}
}
@ARTICLE{tissec:2002,
  author = {J. Bacon and K. Moody and W. Yao},
  title = {A model of {OASIS} role-based access control and its
                  support for active security.},
  journal = {ACM Transactions on Information and System Security
                  (TISSEC)},
  year = 2002,
  url = {http://portal.acm.org/citation.cfm?id=581276&coll=portal&dl=ACM&CFID=13115309&CFTOKEN=20006716},
  volume = 5,
  number = 4,
  pages = {492--540},
  month = NOV
}
@INPROCEEDINGS{CP:02,
  author = {Jon Crowcroft and Ian Pratt},
  title = {{Peer to Peer: Peering into the Future}},
  booktitle = {Advanced Lectures on Networking, NETWORKING 2002},
  pages = {1--19},
  year = 2002,
  volume = 2497,
  series = {LNCS},
  publisher = {Springer Verlag},
  url = {http://www.springerlink.com/openurl.asp?genre=article&issn=0302-9743&volume=2497&spage=1}
}

This file has been generated by bibtex2html 1.87.