Specification and Refinement of Secure IT Systems. Santen, T.; Pfitzmann, A.; and Heisel, M. In Butler, M. and Muntean, T., editors, Proc.\ International Workshop on Refinement of Critical Systems, 2002. http://www.esil.univ-mrs.fr/ěrb|~|spc/rcs02/papers/Santen.ps.gz
bibtex   
@INPROCEEDINGS{SPH2002,
     author = {Santen, Thomas and Pfitzmann, Andreas and Heisel, Maritta},
     editor = {Butler, Michael and Muntean, Traian},
      title = {Specification and Refinement of Secure {IT} Systems},
  booktitle = {Proc.\ International Workshop on Refinement of Critical Systems},
       year = {2002},
       note = {http://www.esil.univ-mrs.fr/\verb|~|spc/rcs02/papers/Santen.ps.gz}
}
Downloads: 0