Developing High-Assurance Secure Systems with UML: An Smartcard-based Purchase Protocol
C. V. Ramamoorthy;Wei-Tek Tsai (Hrsg). Proceeding of the Eighth IEEE International Symposium on High Assurance Systems Engineering HASE 2004: 25-26 March 2004; Tampa, Florida. Los Alamitos, CA: IEEE Computer Society 2004 S. 231 - 240
Erscheinungsjahr: 2004
ISBN/ISSN: 0-7695-2094-4
Publikationstyp: Diverses (Konferenzbeitrag)
Sprache: Englisch
Doi/URN: 10.1109/HASE.2004.1281747
| Geprüft | Bibliothek |
