; ---------------------------------------------------------------------
; To submit, log into grace.umd.edu and use the following command:
; 	<PATH>/submit 2015 fall <COLLEGE> <COURSE> 0101 16 authorization_logic.bib
; ---------------------------------------------------------------------



; Required Readings

@ARTICLE{ Wobber94,
  title        = {Authentication in the Taos Operating System},
  author       = {Edward Wobber and Mart\'{\i}n Abadi and Michael Burrows and Butler W. Lampson},
  journal      = {ACM Trans. Comput. Syst.},
  number       = {1},
  volume       = {12},
  abstract     = {We describe a design for security in a distributed system and its implementation. In our design, applications gain access to security services through a narrow interface. This interface provides a notion of identity that includes simple principals, groups, roles, and delegations. A new operating system component manages principals, credentials, and secure channels. It checks credentials according to the formal rules of a logic of authentication. Our implementation is efficient enough to support a substantial user community.},
  pages        = {3-32},
  year         = {1994},

  studentfirstname ={},
  studentlastname ={},
  summary =	 {},
  contribution1 ={},
  contribution2 ={},
  contribution3 ={},
  contribution4 ={},
  contribution5 ={},
  weakness1 =	 {},
  weakness2 =	 {},
  weakness3 =	 {},
  weakness4 =	 {},
  weakness5 =	 {},
  interesting =	 {high/med/low},
  opinions =	 {},
}


; BibTex cross-references (don't add anything here)