Back to Search Start Over

Preface to the special issue of selected papers from FCS/VERIFY 2002

Authors :
Serge Autexier
Heiko Mantel
Iliano Cervesato
Source :
International Journal of Information Security. 4:1-1
Publication Year :
2005
Publisher :
Springer Science and Business Media LLC, 2005.

Subjects

Subjects :
Computer Networks and Communications
business.industry
Computer science
Cryptography
Safety, Risk, Reliability and Quality
Software engineering
business
Formal methods
Computer communication networks
Software
Information Systems

Details

ISSN :
16155270 and 16155262
Volume :
4
Database :
OpenAIRE
Journal :
International Journal of Information Security
Accession number :
edsair.doi...........c47794bb9702cef2516f24dc55559b24

Tools

Authors Abstract Subjects Details