A CVS-Server Security Architecture — Concepts and Formal Analysis

Brucker, A.D., Rittinger, F. and Wolff, B. (2002) A CVS-Server Security Architecture — Concepts and Formal Analysis. Technical Report. Technical Report (182). Albert-Ludwigs-Universität Freiburg , Freiburg.

Abstract

Metadata

Authors/Creators:
  • Brucker, A.D.
  • Rittinger, F.
  • Wolff, B.
Dates:
  • Published: 2002
Institution: The University of Sheffield
Academic Units: The University of Sheffield > Faculty of Engineering (Sheffield) > Department of Computer Science (Sheffield)
Depositing User: Symplectic Sheffield
Date Deposited: 24 Feb 2016 12:51
Last Modified: 27 Mar 2016 18:23
Published Version: http://tr.informatik.uni-freiburg.de/2002/Report18...
Status: Published
Publisher: Albert-Ludwigs-Universität Freiburg
Series Name: Technical Report

Share / Export