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.