BibTeX records: Thomas Y. C. Woo

download as .bib file

@inproceedings{DBLP:conf/sc/WangG0WFHW20,
  author       = {Shaoqi Wang and
                  Oscar J. Gonzalez and
                  Xiaobo Zhou and
                  Thomas Williams and
                  Brian D. Friedman and
                  Martin Havemann and
                  Thomas Y. C. Woo},
  editor       = {Christine Cuicchi and
                  Irene Qualters and
                  William T. Kramer},
  title        = {An efficient and non-intrusive {GPU} scheduling framework for deep
                  learning training systems},
  booktitle    = {Proceedings of the International Conference for High Performance Computing,
                  Networking, Storage and Analysis, {SC} 2020, Virtual Event / Atlanta,
                  Georgia, USA, November 9-19, 2020},
  pages        = {90},
  publisher    = {{IEEE/ACM}},
  year         = {2020},
  url          = {https://doi.org/10.1109/SC41405.2020.00094},
  doi          = {10.1109/SC41405.2020.00094},
  timestamp    = {Wed, 04 May 2022 13:02:27 +0200},
  biburl       = {https://dblp.org/rec/conf/sc/WangG0WFHW20.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cn/LeeBW09,
  author       = {Patrick P. C. Lee and
                  Tian Bu and
                  Thomas Y. C. Woo},
  title        = {On the detection of signaling DoS attacks on 3G/WiMax wireless networks},
  journal      = {Comput. Networks},
  volume       = {53},
  number       = {15},
  pages        = {2601--2616},
  year         = {2009},
  url          = {https://doi.org/10.1016/j.comnet.2009.05.008},
  doi          = {10.1016/J.COMNET.2009.05.008},
  timestamp    = {Sat, 05 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/cn/LeeBW09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/infocom/LeeBW07,
  author       = {Patrick P. C. Lee and
                  Tian Bu and
                  Thomas Y. C. Woo},
  title        = {On the Detection of Signaling DoS Attacks on 3G Wireless Networks},
  booktitle    = {{INFOCOM} 2007. 26th {IEEE} International Conference on Computer Communications,
                  Joint Conference of the {IEEE} Computer and Communications Societies,
                  6-12 May 2007, Anchorage, Alaska, {USA}},
  pages        = {1289--1297},
  publisher    = {{IEEE}},
  year         = {2007},
  url          = {https://doi.org/10.1109/INFCOM.2007.153},
  doi          = {10.1109/INFCOM.2007.153},
  timestamp    = {Sat, 05 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/infocom/LeeBW07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cn/BuNW06,
  author       = {Tian Bu and
                  Samphel Norden and
                  Thomas Y. C. Woo},
  title        = {A survivable DoS-resistant overlay network},
  journal      = {Comput. Networks},
  volume       = {50},
  number       = {9},
  pages        = {1281--1301},
  year         = {2006},
  url          = {https://doi.org/10.1016/j.comnet.2005.06.010},
  doi          = {10.1016/J.COMNET.2005.06.010},
  timestamp    = {Wed, 19 Feb 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/cn/BuNW06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/comsware/RamjeeAHLNSW06,
  author       = {Ramachandran Ramjee and
                  Furquan Ansari and
                  Martin Havemann and
                  T. V. Lakshman and
                  Thyagarajan Nandagopal and
                  Krishan K. Sabnani and
                  Thomas Y. C. Woo},
  editor       = {Victor Bahl and
                  Bijendra Nath Jain and
                  Henning Schulzrinne and
                  Alfred Z. Spector},
  title        = {Separating control software from routers},
  booktitle    = {Proceedings of the First International Conference on COMmunication
                  System softWAre and MiddlewaRE {(COMSWARE} 2006), January 8-12, 2006,
                  New Delhi, India},
  pages        = {1--10},
  publisher    = {{IEEE}},
  year         = {2006},
  url          = {https://doi.org/10.1109/COMSWA.2006.1665183},
  doi          = {10.1109/COMSWA.2006.1665183},
  timestamp    = {Wed, 16 Oct 2019 14:14:51 +0200},
  biburl       = {https://dblp.org/rec/conf/comsware/RamjeeAHLNSW06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/infocom/BuCWW06,
  author       = {Tian Bu and
                  Aiyou Chen and
                  Scott A. Vander Wiel and
                  Thomas Y. C. Woo},
  title        = {Design and Evaluation of a Fast and Robust Worm Detection Algorithm},
  booktitle    = {{INFOCOM} 2006. 25th {IEEE} International Conference on Computer Communications,
                  Joint Conference of the {IEEE} Computer and Communications Societies,
                  23-29 April 2006, Barcelona, Catalunya, Spain},
  publisher    = {{IEEE}},
  year         = {2006},
  url          = {https://doi.org/10.1109/INFOCOM.2006.100},
  doi          = {10.1109/INFOCOM.2006.100},
  timestamp    = {Wed, 16 Oct 2019 14:14:51 +0200},
  biburl       = {https://dblp.org/rec/conf/infocom/BuCWW06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/infocom/VasanRW05,
  author       = {Arunchandar Vasan and
                  Ramachandran Ramjee and
                  Thomas Y. C. Woo},
  title        = {{ECHOS} - enhanced capacity 802.11 hotspots},
  booktitle    = {{INFOCOM} 2005. 24th Annual Joint Conference of the {IEEE} Computer
                  and Communications Societies, 13-17 March 2005, Miami, FL, {USA}},
  pages        = {1562--1572},
  publisher    = {{IEEE}},
  year         = {2005},
  url          = {https://doi.org/10.1109/INFCOM.2005.1498439},
  doi          = {10.1109/INFCOM.2005.1498439},
  timestamp    = {Thu, 14 Apr 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/infocom/VasanRW05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/wc/WooY04,
  author       = {Thomas Y. C. Woo and
                  Yacov Yacobi},
  title        = {Topics in wireless security},
  journal      = {{IEEE} Wirel. Commun.},
  volume       = {11},
  number       = {1},
  pages        = {6--7},
  year         = {2004},
  url          = {https://doi.org/10.1109/MWC.2004.1269711},
  doi          = {10.1109/MWC.2004.1269711},
  timestamp    = {Tue, 24 Mar 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/wc/WooY04.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icnp/BuNW04,
  author       = {Tian Bu and
                  Samphel Norden and
                  Thomas Y. C. Woo},
  title        = {Trading Resiliency for Security: Model and Algorithms},
  booktitle    = {12th {IEEE} International Conference on Network Protocols {(ICNP}
                  2004), 5-8 October 2004, Berlin, Germany},
  pages        = {218--227},
  publisher    = {{IEEE} Computer Society},
  year         = {2004},
  url          = {https://doi.org/10.1109/ICNP.2004.1348112},
  doi          = {10.1109/ICNP.2004.1348112},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/icnp/BuNW04.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ws/KaseraMSW03,
  author       = {Sneha Kumar Kasera and
                  Semyon Mizikovsky and
                  Ganapathy S. Sundaram and
                  Thomas Y. C. Woo},
  editor       = {W. Douglas Maughan and
                  Adrian Perrig},
  title        = {On securely enabling intermediary-based services and performance enhancements
                  for wireless mobile users},
  booktitle    = {Proceedings of the 2003 {ACM} Workshop on Wireless Security, San Diego,
                  CA, USA, September 19, 2003},
  pages        = {61--68},
  publisher    = {{ACM}},
  year         = {2003},
  url          = {https://doi.org/10.1145/941311.941321},
  doi          = {10.1145/941311.941321},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/ws/KaseraMSW03.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/infocom/Woo00,
  author       = {Thomas Y. C. Woo},
  title        = {A Modular Approach to Packet Classification: Algorithms and Results},
  booktitle    = {Proceedings {IEEE} {INFOCOM} 2000, The Conference on Computer Communications,
                  Nineteenth Annual Joint Conference of the {IEEE} Computer and Communications
                  Societies, Reaching the Promised Land of Communications, Tel Aviv,
                  Israel, March 26-30, 2000},
  pages        = {1213--1222},
  publisher    = {{IEEE} Computer Society},
  year         = {2000},
  url          = {https://doi.org/10.1109/INFCOM.2000.832499},
  doi          = {10.1109/INFCOM.2000.832499},
  timestamp    = {Thu, 23 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/infocom/Woo00.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/wc/ChanW99,
  author       = {Mun Choon Chan and
                  Thomas Y. C. Woo},
  title        = {Next-generation wireless data services: architecture and experience},
  journal      = {{IEEE} Wirel. Commun.},
  volume       = {6},
  number       = {1},
  pages        = {20--33},
  year         = {1999},
  url          = {https://doi.org/10.1109/98.752785},
  doi          = {10.1109/98.752785},
  timestamp    = {Sun, 17 May 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/wc/ChanW99.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/infocom/ChanW99,
  author       = {Mun Choon Chan and
                  Thomas Y. C. Woo},
  title        = {Cache-Based Compaction: {A} New Technique for Optimizing Web Transfer},
  booktitle    = {Proceedings {IEEE} {INFOCOM} '99, The Conference on Computer Communications,
                  Eighteenth Annual Joint Conference of the {IEEE} Computer and Communications
                  Societies, The Future Is Now, New York, NY, USA, March 21-25, 1999},
  pages        = {117--125},
  publisher    = {{IEEE} Computer Society},
  year         = {1999},
  url          = {https://doi.org/10.1109/INFCOM.1999.749259},
  doi          = {10.1109/INFCOM.1999.749259},
  timestamp    = {Thu, 23 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/infocom/ChanW99.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wcnc/ChanW99,
  author       = {Mun Choon Chan and
                  Thomas Y. C. Woo},
  title        = {Application of compaction technique to optimizing wireless email transfer},
  booktitle    = {1999 {IEEE} Wireless Communications and Networking Conference, {WCNC}
                  1999, September 21-24, 1999, New Orleans, Louisiana, {USA}},
  pages        = {1533--1537},
  publisher    = {{IEEE}},
  year         = {1999},
  url          = {https://doi.org/10.1109/WCNC.1999.796995},
  doi          = {10.1109/WCNC.1999.796995},
  timestamp    = {Wed, 16 Oct 2019 14:14:50 +0200},
  biburl       = {https://dblp.org/rec/conf/wcnc/ChanW99.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/monet/PortaRWS98,
  author       = {Thomas F. La Porta and
                  Ramachandran Ramjee and
                  Thomas Y. C. Woo and
                  Krishan K. Sabnani},
  title        = {Experiences with Network-Based User Agents for Mobile Applications},
  journal      = {Mob. Networks Appl.},
  volume       = {3},
  number       = {2},
  pages        = {123--141},
  year         = {1998},
  url          = {https://doi.org/10.1023/A:1019164413275},
  doi          = {10.1023/A:1019164413275},
  timestamp    = {Thu, 24 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/monet/PortaRWS98.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/infocom/WooL98,
  author       = {Thomas Y. C. Woo and
                  Simon S. Lam},
  title        = {Designing a Distributed Authorization Service},
  booktitle    = {Proceedings {IEEE} {INFOCOM} '98, The Conference on Computer Communications,
                  Seventeenth Annual Joint Conference of the {IEEE} Computer and Communications
                  Societies, Gateway to the 21st Century, San Francisco, CA, USA, March
                  29 - April 2, 1998},
  pages        = {419--429},
  publisher    = {{IEEE} Computer Society},
  year         = {1998},
  url          = {https://doi.org/10.1109/INFCOM.1998.665058},
  doi          = {10.1109/INFCOM.1998.665058},
  timestamp    = {Thu, 23 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/infocom/WooL98.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/infocom/WooPGA98,
  author       = {Thomas Y. C. Woo and
                  Thomas F. La Porta and
                  Jamal Golestani and
                  Naveen Agarwal},
  title        = {Update and Search Algorithms for Wireless Two-Way Messaging: Design
                  and Performance},
  booktitle    = {Proceedings {IEEE} {INFOCOM} '98, The Conference on Computer Communications,
                  Seventeenth Annual Joint Conference of the {IEEE} Computer and Communications
                  Societies, Gateway to the 21st Century, San Francisco, CA, USA, March
                  29 - April 2, 1998},
  pages        = {737--747},
  publisher    = {{IEEE} Computer Society},
  year         = {1998},
  url          = {https://doi.org/10.1109/INFCOM.1998.665096},
  doi          = {10.1109/INFCOM.1998.665096},
  timestamp    = {Thu, 23 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/infocom/WooPGA98.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pimrc/WooSM98,
  author       = {Thomas Y. C. Woo and
                  Krishan K. Sabnani and
                  Scott C. Miller},
  title        = {Providing Internet services to mobile phones: a case study with email},
  booktitle    = {The 9th {IEEE} International Symposium on Personal, Indoor and Mobile
                  Radio Communications, {PIMRC} 1998, Boston, MA, USA, September 8-11,
                  1998},
  pages        = {99--105},
  publisher    = {{IEEE}},
  year         = {1998},
  url          = {https://doi.org/10.1109/PIMRC.1998.733520},
  doi          = {10.1109/PIMRC.1998.733520},
  timestamp    = {Tue, 19 May 2020 15:57:12 +0200},
  biburl       = {https://dblp.org/rec/conf/pimrc/WooSM98.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsac/WooPS97,
  author       = {Thomas Y. C. Woo and
                  Thomas F. La Porta and
                  Krishan K. Sabnani},
  title        = {Pigeon: {A} Wireless Two-Way Messaging System},
  journal      = {{IEEE} J. Sel. Areas Commun.},
  volume       = {15},
  number       = {8},
  pages        = {1391--1405},
  year         = {1997},
  url          = {https://doi.org/10.1109/49.634779},
  doi          = {10.1109/49.634779},
  timestamp    = {Thu, 02 Apr 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jsac/WooPS97.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icnp/WooPS97,
  author       = {Thomas Y. C. Woo and
                  Thomas F. La Porta and
                  Krishan K. Sabnani},
  title        = {User Agents and Flexible Messages: {A} New Approach to Wireless Two-Way
                  Messaging},
  booktitle    = {1997 International Conference on Network Protocols {(ICNP} '97), 28-31
                  October 1997, Atlanta, GA, {USA}},
  pages        = {53--62},
  publisher    = {{IEEE} Computer Society},
  year         = {1997},
  url          = {https://doi.org/10.1109/ICNP.1997.643692},
  doi          = {10.1109/ICNP.1997.643692},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/icnp/WooPS97.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sigcomm/MittraW97,
  author       = {Suvo Mittra and
                  Thomas Y. C. Woo},
  editor       = {Christophe Diot and
                  Christian Huitema and
                  Scott Shenker and
                  Martha Steenstrup},
  title        = {A Flow-Based Approach to Datagram Security},
  booktitle    = {Proceedings of the {ACM} {SIGCOMM} 1997 Conference on Applications,
                  Technologies, Architectures, and Protocols for Computer Communication,
                  September 14-18, 1997, Cannes, France},
  pages        = {221--234},
  publisher    = {{ACM}},
  year         = {1997},
  url          = {https://doi.org/10.1145/263105.263170},
  doi          = {10.1145/263105.263170},
  timestamp    = {Mon, 28 Aug 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/sigcomm/MittraW97.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pimrc/WooPS96,
  author       = {Thomas Y. C. Woo and
                  Thomas F. La Porta and
                  Krishan K. Sabnani},
  title        = {Pigeon: a wireless two-way messaging system},
  booktitle    = {The 7th {IEEE} International Symposium on Personal, Indoor and Mobile
                  Radio Communications, {PIMRC} 1996, Taipei, Taiwan, October 15-18,
                  1996},
  pages        = {693--697},
  year         = {1996},
  url          = {https://doi.org/10.1109/PIMRC.1996.567484},
  doi          = {10.1109/PIMRC.1996.567484},
  timestamp    = {Thu, 28 May 2020 11:01:18 +0200},
  biburl       = {https://dblp.org/rec/conf/pimrc/WooPS96.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sigops/WooL94,
  author       = {Thomas Y. C. Woo and
                  Simon S. Lam},
  title        = {A Lesson on Authentication Protocol Design},
  journal      = {{ACM} {SIGOPS} Oper. Syst. Rev.},
  volume       = {28},
  number       = {3},
  pages        = {24--37},
  year         = {1994},
  url          = {https://doi.org/10.1145/182110.182113},
  doi          = {10.1145/182110.182113},
  timestamp    = {Tue, 14 Jul 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/sigops/WooL94.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icnp/WooL94,
  author       = {Thomas Y. C. Woo and
                  Simon S. Lam},
  title        = {Design, verification and implementation of an authentication protocol},
  booktitle    = {1994 International Conference on Network Protocols, {ICNP} 1994, Boston,
                  MA, USA, October 25-28, 1994, Proceedings},
  pages        = {81--90},
  publisher    = {{IEEE} Computer Society},
  year         = {1994},
  url          = {https://doi.org/10.1109/ICNP.1994.344373},
  doi          = {10.1109/ICNP.1994.344373},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/icnp/WooL94.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/usenix/WooBSL94,
  author       = {Thomas Y. C. Woo and
                  Raghuram Bindignavle and
                  Shaowen Su and
                  Simon S. Lam},
  title        = {{SNP:} An Interface for Secure Network Programming},
  booktitle    = {{USENIX} Summer 1994 Technical Conference, Boston, Massachusetts,
                  USA, June 6-10, 1994, Conference Proceeding},
  pages        = {45--58},
  publisher    = {{USENIX} Association},
  year         = {1994},
  url          = {https://www.usenix.org/conference/usenix-summer-1994-technical-conference/snp-interface-secure-network-programming},
  timestamp    = {Mon, 01 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/usenix/WooBSL94.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/csec/WooL93,
  author       = {Thomas Y. C. Woo and
                  Simon S. Lam},
  title        = {Authorizations in Distributed Systems: {A} New Approach},
  journal      = {J. Comput. Secur.},
  volume       = {2},
  number       = {2-3},
  pages        = {107--136},
  year         = {1993},
  url          = {https://doi.org/10.3233/JCS-1993-22-304},
  doi          = {10.3233/JCS-1993-22-304},
  timestamp    = {Mon, 28 Aug 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/csec/WooL93.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ccs/WooL93,
  author       = {Thomas Y. C. Woo and
                  Simon S. Lam},
  editor       = {Dorothy E. Denning and
                  Raymond Pyle and
                  Ravi Ganesan and
                  Ravi S. Sandhu and
                  Victoria Ashby},
  title        = {A Framework for Distributed Authorization},
  booktitle    = {{CCS} '93, Proceedings of the 1st {ACM} Conference on Computer and
                  Communications Security, Fairfax, Virginia, USA, November 3-5, 1993},
  pages        = {112--118},
  publisher    = {{ACM}},
  year         = {1993},
  url          = {https://doi.org/10.1145/168588.168603},
  doi          = {10.1145/168588.168603},
  timestamp    = {Tue, 10 Nov 2020 20:00:40 +0100},
  biburl       = {https://dblp.org/rec/conf/ccs/WooL93.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icnp/WooL93,
  author       = {Thomas Y. C. Woo and
                  Simon S. Lam},
  title        = {Verifying authentication protocols: methodology and example},
  booktitle    = {1993 International Conference on Network Protocols, {ICNP} 1993, San
                  Francisco, CA, USA, October 19-22, 1993, Proceedings},
  pages        = {36--45},
  publisher    = {{IEEE} Computer Society},
  year         = {1993},
  url          = {https://doi.org/10.1109/ICNP.1993.340904},
  doi          = {10.1109/ICNP.1993.340904},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/icnp/WooL93.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sp/WooL93,
  author       = {Thomas Y. C. Woo and
                  Simon S. Lam},
  title        = {A semantic model for authentication protocols},
  booktitle    = {1993 {IEEE} Computer Society Symposium on Research in Security and
                  Privacy, Oakland, CA, USA, May 24-26, 1993},
  pages        = {178--194},
  publisher    = {{IEEE} Computer Society},
  year         = {1993},
  url          = {https://doi.org/10.1109/RISP.1993.287633},
  doi          = {10.1109/RISP.1993.287633},
  timestamp    = {Thu, 21 Sep 2023 15:57:35 +0200},
  biburl       = {https://dblp.org/rec/conf/sp/WooL93.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/computer/WooL92,
  author       = {Thomas Y. C. Woo and
                  Simon S. Lam},
  title        = {Authentification for Distributed Systems},
  journal      = {Computer},
  volume       = {25},
  number       = {1},
  pages        = {39--52},
  year         = {1992},
  url          = {https://doi.org/10.1109/2.108052},
  doi          = {10.1109/2.108052},
  timestamp    = {Wed, 12 Aug 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/computer/WooL92.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kr/LifschitzW92,
  author       = {Vladimir Lifschitz and
                  Thomas Y. C. Woo},
  editor       = {Bernhard Nebel and
                  Charles Rich and
                  William R. Swartout},
  title        = {Answer Sets in General Nonmonotonic Reasoning (Preliminary Report)},
  booktitle    = {Proceedings of the 3rd International Conference on Principles of Knowledge
                  Representation and Reasoning (KR'92). Cambridge, MA, USA, October
                  25-29, 1992},
  pages        = {603--614},
  publisher    = {Morgan Kaufmann},
  year         = {1992},
  timestamp    = {Fri, 22 Jun 2018 07:35:19 +0200},
  biburl       = {https://dblp.org/rec/conf/kr/LifschitzW92.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sp/WooL92,
  author       = {Thomas Y. C. Woo and
                  Simon S. Lam},
  title        = {Authorization in distributed systems: a formal approach},
  booktitle    = {1992 {IEEE} Computer Society Symposium on Research in Security and
                  Privacy, Oakland, CA, USA, May 4-6, 1992},
  pages        = {33--50},
  publisher    = {{IEEE} Computer Society},
  year         = {1992},
  url          = {https://doi.org/10.1109/RISP.1992.213272},
  doi          = {10.1109/RISP.1992.213272},
  timestamp    = {Thu, 21 Sep 2023 15:57:35 +0200},
  biburl       = {https://dblp.org/rec/conf/sp/WooL92.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hlppp/ChakravartyKWBA91,
  author       = {Indranil Chakravarty and
                  Michael F. Kleyn and
                  Thomas Y. C. Woo and
                  Rajive L. Bagrodia and
                  Vernon Austel},
  editor       = {Jean{-}Pierre Ban{\^{a}}tre and
                  Daniel Le M{\'{e}}tayer},
  title        = {{UNITY} to {UC:} {A} Case Study in the Derivation of Parallel Programs},
  booktitle    = {Research Directions in High-Level Parallel Programming Languages,
                  Mont Saint-Michel, France, June 17-19, 1991, Procedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {574},
  pages        = {6--20},
  publisher    = {Springer},
  year         = {1991},
  url          = {https://doi.org/10.1007/3-540-55160-3\_30},
  doi          = {10.1007/3-540-55160-3\_30},
  timestamp    = {Fri, 17 Jul 2020 16:12:46 +0200},
  biburl       = {https://dblp.org/rec/conf/hlppp/ChakravartyKWBA91.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sp/LamSW91,
  author       = {Simon S. Lam and
                  A. Udaya Shankar and
                  Thomas Y. C. Woo},
  title        = {Applying a Theory of Modules and Interfaces to Security Verification},
  booktitle    = {Proceedings of the 1991 {IEEE} Symposium on Security and Privacy,
                  Oakland, California, USA, May 20-22, 1991},
  pages        = {136--155},
  publisher    = {{IEEE} Computer Society},
  year         = {1991},
  url          = {https://doi.org/10.1109/RISP.1991.130782},
  doi          = {10.1109/RISP.1991.130782},
  timestamp    = {Thu, 21 Sep 2023 15:57:35 +0200},
  biburl       = {https://dblp.org/rec/conf/sp/LamSW91.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics