عنوان

FMSE'03 : proceedings of the 2003 ACM Workshop on Formal Methods in Security Engineering : Washington, DC, USA, October 30, 2003 : co-located with CCS'03

پدید آورنده

edited by Michael Backes, David Basin & Michael Waidner

موضوع

Congresses ، Computer security,Congresses ، Formal methods )Computer science(

رده

QA

76
.
9
.
A25A326

2003

کتابخانه

محل استقرار

استان: طهران ـ شهر: طهران

FMSE'03 : proceedings of the 2003 ACM Workshop on Formal Methods in Security Engineering : Washington, DC, USA, October 30, 2003 : co-located with CCS'03

2003 : Washington, D.C.

New York

ACM Press

c2003

v, 87 p.: ill., tables.

"Sponsored by ACM SIGSAC"

Includes bibliographies

ISBN: 1581137818

edited by Michael Backes, David Basin & Michael Waidner

Congresses ، Computer security

Congresses ، Formal methods )Computer science(

A25A326

2003

AU Backes, Michael

AU Basin, David

AU Waidner, Michael

CO ACM Special Interest Group on Security, Audit and Control

CO Association for Computing Machinery

CO ACM Conference on Computer and Communications Security 10th : 2003 : Washington, D.C.

ACM Workshop on Formal Methods in Security Engineering

عنوان FMSE'03 : proceedings of the 2003 ACM Workshop on Formal Methods in Security Engineering : Washington, DC, USA, October 30, 2003 : co-located with CCS'03

پدید آورنده edited by Michael Backes, David Basin & Michael Waidner

موضوع Congresses ، Computer security,Congresses ، Formal methods )Computer science(

رده QA 76.9 .A25A326 2003