Anupam Datta – författare
Visar alla böcker från författaren Anupam Datta. Handla med fri frakt och snabb leverans.
7 produkter
Analysis Techniques for Information Security
Av Anupam Datta, Somesh Jha m. fl.
Häftad, 2010
378 kr
Lägg i varukorg
Increasingly our critical infrastructures are reliant on computers. We see examples of such infrastructures in several domains, including medical, power, telecommunications, and finance. Although automation has advantages, increased reliance on computers exposes our critical infrastructures to a …
Analysis Techniques for Information Security
Av Thomas Reps, David Melski m. fl.
E-bok, 2022
460 kr
Lägg i varukorg
Increasingly our critical infrastructures are reliant on computers. We see examples of such infrastructures in several domains, including medical, power, telecommunications, and finance. Although automation has advantages, increased reliance on computers exposes our critical infrastructures to a …
Advances in Computer Science, Information Security and Privacy
13th Asian Computing Science Conference, Seoul, Korea, December 14-16, 2009, Proceedings
Av Anupam Datta
Häftad, 2009
569 kr
Lägg i varukorg
This book constitutes the refereed proceedings of the 13th Asian Computing Science Conference, ASIAN 2009, held in Seoul, Korea, in December 2009. The 7 revised full papers and 3 revised short papers presented together with 2 invited talks were carefully reviewed and selected from 45 submissions. …
Advances in Computer Science, Information Security and Privacy
13th Asian Computing Science Conference, Seoul, Korea, December 14-16, 2009, Proceedings
Av Anupam Datta
E-bok, 2010
755 kr
Lägg i varukorg
This book constitutes the refereed proceedings of the 13th Asian Computing Science Conference, ASIAN 2009, held in Seoul, Korea, in December 2009. The 7 revised full papers and 3 revised short papers presented together with 2 invited talks were carefully reviewed and selected from 45 submissions. …
Formal Aspects of Security and Trust
8th International Workshop, FAST 2011, Leuven, Belgium, September 12-14, 2011. Revised Selected Papers
Av Gilles Barthe, Anupam Datta m. fl.
Häftad, 2012
569 kr
Lägg i varukorg
This book constitutes the thoroughly refereed post-conference proceedings of the 8th International Workshop on Formal Aspects of Security and Trust, FAST 2011, held in conjunction with the 16th European Symposium on Research in Computer Security, ESORICS 2011, in Leuven, Belgium in September 2011. …
Formal Aspects of Security and Trust
8th International Workshop, FAST 2011, Leuven, Belgium, September 12-14, 2011. Revised Selected Papers
Av Sandro Etalle, Anupam Datta m. fl.
E-bok, 2012
755 kr
Lägg i varukorg
This book constitutes the thoroughly refereed post-conference proceedings of the 8th International Workshop on Formal Aspects of Security and Trust, FAST 2011, held in conjunction with the 16th European Symposium on Research in Computer Security, ESORICS 2011, in Leuven, Belgium in September 2011. …
