%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
%                                                                         %
%          Publications on Security Protocols -- CSFW-6.                  %
%                                                                         %
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

Editor: Iliano Cervesato, iliano at itd.nrl.navy.mil
Last Updated: Wed Oct 10 2001
Size: 15 entries
Source: physical proceedings
See also: http://ieeexplore.ieee.org/lpdocs/epic03/RecentCon.htm?punumber=466

6th IEEE Computer Security Foundations Workshop --- CSFW'93
Franconia, NH, USA
15-17 June 1993
ISBN: 0-8186-3950-4


@InProceedings{GrayJ:1993:CSFW,
  author       = "James W. Gray, III",
  title        = "On Analyzing the Bus-Contention Channel Under Fuzzy Time",
  booktitle    = "6th IEEE Computer Security Foundations
                  Workshop --- CSFW'93",
  year         = 1993,
  pages        = "3--9",
  address      = "Franconia, NH",
  month        = "15--17 June",
  publisher    = "IEEE Computer Society Press"
}

@InProceedings{MathurA:1993:CSFW,
  author       = "A.G. Mathur and T.F. Keefe",
  title        = "The Concurrency Control and Recovery Problem for Multilevel
                  Update Transactions in MLS System",
  booktitle    = "6th IEEE Computer Security Foundations
                  Workshop --- CSFW'93",
  year         = 1993,
  pages        = "10--23",
  address      = "Franconia, NH",
  month        = "15--17 June",
  publisher    = "IEEE Computer Society Press"
}

@InProceedings{RosenthalD:1993:CSFW,
  author       = "David Rosenthal",
  title        = "Modeling Restrictive Processes that Involve Blocking
                  Requests",
  booktitle    = "6th IEEE Computer Security Foundations
                  Workshop --- CSFW'93",
  year         = 1993,
  pages        = "27--38",
  address      = "Franconia, NH",
  month        = "15--17 June",
  publisher    = "IEEE Computer Society Press"
}

@InProceedings{BanatreJ:1993:CSFW,
  author       = "J.-P. Banatre and Ciaran Bryce",
  title        = "Information Flow Control in a Parallel Language Framework",
  booktitle    = "6th IEEE Computer Security Foundations
                  Workshop --- CSFW'93",
  year         = 1993,
  pages        = "39--52",
  address      = "Franconia, NH",
  month        = "15--17 June",
  publisher    = "IEEE Computer Society Press"
}

@InProceedings{CuppensF:1993:CSFW,
  author       = "Frederic Cuppens",
  title        = "A Logical Formalization of Secrecy",
  booktitle    = "6th IEEE Computer Security Foundations
                  Workshop --- CSFW'93",
  year         = 1993,
  pages        = "53--62",
  address      = "Franconia, NH",
  month        = "15--17 June",
  publisher    = "IEEE Computer Society Press"
}

@InProceedings{LandauerJ:1993:CSFW,
  author       = "Jaisook Landauer and Timothy Redmond",
  title        = "A Lattice of Information",
  booktitle    = "6th IEEE Computer Security Foundations
                  Workshop --- CSFW'93",
  year         = 1993,
  pages        = "65--70",
  address      = "Franconia, NH",
  month        = "15--17 June",
  publisher    = "IEEE Computer Society Press"
}

@InProceedings{WilliamsJ:1993:CSFW,
  author       = "James G. Williams and Leonard J. La Padula",
  title        = "Automated Support for External Consistency",
  booktitle    = "6th IEEE Computer Security Foundations
                  Workshop --- CSFW'93",
  year         = 1993,
  pages        = "71--81",
  address      = "Franconia, NH",
  month        = "15--17 June",
  publisher    = "IEEE Computer Society Press"
}

@InProceedings{ZurkoM:1993:CSFW,
  author       = "Mary Ellen Zurko",
  title        = "Panel: What are the Foundations of Computer Security?",
  booktitle    = "6th IEEE Computer Security Foundations
                  Workshop --- CSFW'93",
  year         = 1993,
  pages        = "85--95",
  address      = "Franconia, NH",
  month        = "15--17 June",
  publisher    = "IEEE Computer Society Press"
}

@InProceedings{DacierM:1993:CSFW,
  author       = "M. Dacier",
  title        = "A Petri Net Representation of the Take-Grant Model",
  booktitle    = "6th IEEE Computer Security Foundations
                  Workshop --- CSFW'93",
  year         = 1993,
  pages        = "99--108",
  address      = "Franconia, NH",
  month        = "15--17 June",
  publisher    = "IEEE Computer Society Press"
}

@InProceedings{SandhuR:1993:CSFW,
  author       = "Ravi S. Sandhu and S. Ganta",
  title        = "On Testing for Absence of Rights in Access Control Models",
  booktitle    = "6th IEEE Computer Security Foundations
                  Workshop --- CSFW'93",
  year         = 1993,
  pages        = "109--118",
  address      = "Franconia, NH",
  month        = "15--17 June",
  publisher    = "IEEE Computer Society Press"
}

@InProceedings{SimmonsG:1993:CSFW,
  author       = "G.J. Simmons",
  title        = "Invited talk: An Introductions to the Mathematics of Trust
                  in Security Protocols",
  booktitle    = "6th IEEE Computer Security Foundations
                  Workshop --- CSFW'93",
  year         = 1993,
  pages        = "121--127",
  address      = "Franconia, NH",
  month        = "15--17 June",
  publisher    = "IEEE Computer Society Press"
}

@InProceedings{GongL:1993:CSFW,
  author       = "Li Gong",
  title        = "A Variation on the Themes of Message Freshness and Replay
                  or, the Difficulty in Devising Formal Methods to Analyze
                  Cryptographic Protocols",
  booktitle    = "6th IEEE Computer Security Foundations
                  Workshop --- CSFW'93",
  year         = 1993,
  pages        = "131--136",
  address      = "Franconia, NH",
  month        = "15--17 June",
  publisher    = "IEEE Computer Society Press"
}

@InProceedings{BieberP:1993:CSFW,
  author       = "Pierre Bieber and N. Boulahia-Cuppens and T. Lehmann and
                  E. van Wickeren",
  title        = "Abstract Machines for Communication Security",
  booktitle    = "6th IEEE Computer Security Foundations
                  Workshop --- CSFW'93",
  year         = 1993,
  pages        = "137--146",
  address      = "Franconia, NH",
  month        = "15--17 June",
  publisher    = "IEEE Computer Society Press"
}

@InProceedings{MaoW:1993:CSFW,
  author       = "Wenbo Mao and Colin Boyd",
  title        = "Towards Formal Analysis of Security Protocols",
  booktitle    = "6th IEEE Computer Security Foundations
                  Workshop --- CSFW'93",
  year         = 1993,
  pages        = "147--158",
  address      = "Franconia, NH",
  month        = "15--17 June",
  publisher    = "IEEE Computer Society Press"
}

@InProceedings{SyversonP:1993:CSFW,
  author       = "Paul Syverson",
  title        = "Panel: Cryptographic Protocol Models and Requirements",
  booktitle    = "6th IEEE Computer Security Foundations
                  Workshop --- CSFW'93",
  year         = 1993,
  pages        = "161",
  address      = "Franconia, NH",
  month        = "15--17 June",
  publisher    = "IEEE Computer Society Press"
}