Secure Transaction Protocol Analysis : Models and Applications

フォーマット:

電子ブック

責任表示:

by Qingfeng Chen, Chengqi Zhang, Shichao Zhang ; edited by David Hutchison, Takeo Kanade, Josef Kittler, Jon M. Kleinberg, Friedemann Mattern, John C. Mitchell, Moni Naor, Oscar Nierstrasz, C. Pandu Rangan, Bernhard Steffen, Madhu Sudan, Demetri Terzopoulos, Doug Tygar, Moshe Y. Vardi, Gerhard Weikum

言語:

英語

出版情報:

Berlin, Heidelberg : Springer-Verlag, 2008

形態:

v.: digital

著者名:

シリーズ名:

Lecture Notes in Computer Science ; 5111

書誌ID:

NB02219433

ISBN:

9783540850748 [3540850740]

学内からのみアクセスすることができます。

子書誌情報

オンライン

http://dx.doi.org/10.1007/978-3-540-85074-8

所蔵情報

タイトルが類似している資料

詳細

主題:	Computer Communication Networks; Computer Science; Data Mining and Knowledge Discovery; Information Storage and Retrieval; Information Systems Applications (incl.Internet); Operating Systems; Software Engineering
分類・件名:	LCSH : Operating systems (Computers) FREE : Software Engineering LCSH : Data mining FREE : Computer Science FREE : Operating Systems LCSH : Information storage and retrieval systems LCSH : Information systems LCSH : Software engineering FREE : Information Systems Applications (incl.Internet) FREE : Data Mining and Knowledge Discovery FREE : Information Storage and Retrieval LCSH : Computer Communication Networks FREE : Computer Communication Networks
TTLL:	eng

類似資料:

1

2

3

4

5

6

7

8

9

10

11

12

1 電子ブック Secure Data Management : 5th VLDB Workshop, SDM 2008, Auckland, New Zealand, August 24, 2008. Proceedings Hutchison, David, Jonker, Willem, Weikum, Gerhard, Vardi, Moshe Y., Tygar, Doug, Terzopoulos, Demetri, Kleinberg, Jon … Springer-Verlag	7 電子ブック Advances in Information and Computer Security : Third International Workshop on Security, IWSEC 2008, Kagawa, Japan, November 25-27, 2008. Proceedings Hutchison, David, Mitchell, John C., Naor, Moni, Mattern, Friedemann, Kittler, Josef, Pandu Rangan, C., Weikum, Gerhard, … Springer
2 電子ブック Engineering Secure Software and Systems : First International Symposium ESSoS 2009, Leuven, Belgium, February 4-6, 2009. Proceedings Hutchison, David, Steffen, Bernhard, Sudan, Madhu, Terzopoulos, Demetri, Tygar, Doug, Vardi, Moshe Y., Zannone, Nicola, … Springer Berlin Heidelberg	8 電子ブック Middleware 2008 : ACM/IFIP/USENIX 9th International Middleware Conference Leuven, Belgium, December 1-5, 2008 Proceedings Hutchison, David, Pandu Rangan, C., Kleinberg, Jon M., Issarny, Valerie, Kittler, Josef, Weikum, Gerhard, Mattern, … Springer
3 電子ブック Distributed Computing : 22nd International Symposium, DISC 2008, Arcachon, France, September 22-24, 2008. Proceedings Hutchison, David, Kanade, Takeo, Nierstrasz, Oscar, Weikum, Gerhard, Naor, Moni, Mitchell, John C., Kleinberg, Jon M., … Springer-Verlag	9 電子ブック Architecting Dependable Systems V Hutchison, David, Vieira, Marlon, Kanade, Takeo, Terzopoulos, Demetri, Giandomenico, Felicita, Steffen, Bernhard, Gacek, … Springer-Verlag
4 電子ブック Cooperative Design, Visualization, and Engineering : 5th International Conference, CDVE 2008 Calvia, Mallorca, Spain, September 21-25, 2008 Proceedings Hutchison, David, Kleinberg, Jon M., Luo, Yuhua, Mattern, Friedemann, Kanade, Takeo, Kittler, Josef, Weikum, Gerhard, … Springer-Verlag	10 電子ブック Provenance and Annotation of Data and Processes : Second International Provenance and Annotation Workshop, IPAW 2008, Salt Lake City, UT, USA, June 17-18, 2008. … Hutchison, David, Vardi, Moshe Y., Pandu Rangan, C., Sudan, Madhu, Steffen, Bernhard, Terzopoulos, Demetri, Kanade, … Springer
5 電子ブック Self-Sustaining Systems : First Workshop, S3 2008 Potsdam, Germany, May 15-16, 2008 Revised Selected Papers Hutchison, David, Weikum, Gerhard, Kittler, Josef, Rose, Kim, Vardi, Moshe Y., Kleinberg, Jon M., Tygar, Doug, … Springer	11 電子ブック Formal Methods for Components and Objects : 6th International Symposium, FMCO 2007, Amsterdam, The Netherlands, October 24-26, 2007, Revised Lectures Hutchison, David, Bonsangue, Marcello M., Boer, Frank S., Kleinberg, Jon M., Mitchell, John C., Nierstrasz, Oscar, Naor, … Springer
6 電子ブック Programming Languages and Systems : 6th Asian Symposium, APLAS 2008, Bangalore, India, December 9-11, 2008. Proceedings Hutchison, David, Kanade, Takeo, Vardi, Moshe Y., Tygar, Doug, Steffen, Bernhard, Sudan, Madhu, Terzopoulos, Demetri, … Springer	12 電子ブック Computer Supported Cooperative Work in Design IV : 11th International Conference, CSCWD 2007, Melbourne, Australia, April 26-28, 2007. Revised Selected Papers Hutchison, David, Yang, Yun, Barthes, Jean-Paul A., Tygar, Doug, Mattern, Friedemann, Vardi, Moshe Y., Yong, Jianming, … Springer