Del i serien Lecture Notes in Computer Science
Principles of Security and Trust
First International Conference, POST 2012, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2012, Tallinn, Estonia, March 24 - April 1, 2012, Proceedings
Häftad, Engelska, 2012
739 kr
Beställningsvara. Skickas inom 10-15 vardagar. Fri frakt för medlemmar vid köp för minst 249 kr.
Finns i fler format (7)
This book constitutes the refereed proceedings of the first International Conference on Principles of Security and Trust, POST 2012, held in Tallinn, Estonia, in March/April 2012, as part of ETAPS 2012, the European Joint Conferences on Theory and Practice of Software.The 20 papers, presented together with the abstract of an invited talk and a joint-ETAPS paper, were selected from a total of 67 submissions. Topics covered by the papers include: foundations of security, authentication, confidentiality, privacy and anonymity, authorization and trust, network security, protocols for security, language-based security, and quantitative security properties.
Produktinformation
- Utgivningsdatum2012-03-14
- Mått155 x 235 x undefined mm
- FormatHäftad
- SpråkEngelska
- SerieLecture Notes in Computer Science
- Antal sidor431
- FörlagSpringer-Verlag Berlin and Heidelberg GmbH & Co. KG
- ISBN9783642286407
Tillhör följande kategorier
Hoppa över listan
Mer från samma författare
Automata, Languages and Programming
Pierpaolo Degano, Roberto Gorrieri, Alberto Marchetti-Spaccamela
Häftad, 1997
1 479 kr
Formal Methods for Computational Systems Biology
Marco Bernardo, Pierpaolo Degano, Gianluigi Zavattaro
Häftad, 2008
739 kr
Formal Aspects in Security and Trust
Pierpaolo Degano, Joshua D. Guttman, Fabio Martinelli
Häftad, 2009
739 kr
Formal Aspects of Security and Trust
Pierpaolo Degano, Sandro Etalle, Joshua Guttman
Häftad, 2011
739 kr
THEORETICAL COMPUTER SCIENCE - PROCEEDINGS OF THE 6TH ITALIAN CONFERENCE
DEGANO PIERPAOLO, Pierpaolo Degano, Ugo Vaccaro, Giuseppe Pirillo
Inbunden, 1998
2 989 kr
Hoppa över listan
Mer från samma serie
Del 16375
Agent Mediated Electronic Commerce II
Alexandros Moukas, Carles Sierra, Fredrik Ygge
Häftad, 2000
739 kr
Del 16376
Segmentation, Classification, and Synthesis for Brain Tumors and Traumatic Brain Injuries
Spyridon Bakas, Emily Dennis, Mehdi Astaraki, Ujjwal Baid, Gian Marco Conte, Martha Foltyn-Dumitru, Zhifan Jiang, Dominic Labella, Marie-Christin Metz, Udunna Anazodo, Maria Correia de Verdier, Florian Kofler, Hongwei Bran Li, Marius George Linguraru, Nazanin Maleki
Häftad, 2026
1 209 kr
Del 15401
Medical Image Computing and Computer Assisted Intervention – MICCAI 2024 Workshops
Anna Schroder, Xiang Li, Tanveer Syeda-Mahmood, Neil P. Oxtoby, Alexandra Young, Alessa Hering, Tejas S. Mathai, Pritam Mukherjee, Sven Kuckertz, Tiantian He, Isaac Llorente-Saguer, Andreas Maier, Satyananda Kashyap, Hayit Greenspan, Anant Madabhushi
Häftad, 2025
959 kr
Del 16625
Hoppa över listan
Du kanske också är intresserad av
Formal Aspects in Security and Trust
Pierpaolo Degano, Joshua D. Guttman, Fabio Martinelli
Häftad, 2009
739 kr
Del 11426
Del 10804