Formal proof of cooperativeness in a multi-party P2P content authentication protocol

Almudena Alcaide; Esther Palomar; Ana I. González-Tablas; Arturo Ribagorda

doi:10.1007/978-3-642-15152-1_13

Formal proof of cooperativeness in a multi-party P2P content authentication protocol

Almudena Alcaide^*, Esther Palomar, Ana I. González-Tablas, Arturo Ribagorda

^*Corresponding author for this work

Universidad Carlos III de Madrid

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

1 Citation (Scopus)

Original language	English
Title of host publication	Trust, Privacy and Security in Digital Business - 7th International Conference, TrustBus 2010, Proceedings
Pages	141-152
Number of pages	12
DOIs	https://doi.org/10.1007/978-3-642-15152-1_13
Publication status	Published (VoR) - 2010
Event	7th International Conference on Trust, Privacy and Security in Digital Business, TrustBus 2010 - Bilbao, Spain Duration: 30 Aug 2010 → 31 Aug 2010

Publication series

Name	Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Volume	6264 LNCS
ISSN (Print)	0302-9743
ISSN (Electronic)	1611-3349

Conference

Conference	7th International Conference on Trust, Privacy and Security in Digital Business, TrustBus 2010
Country/Territory	Spain
City	Bilbao
Period	30/08/10 → 31/08/10

Access to Document

10.1007/978-3-642-15152-1_13

Cite this

Alcaide, A., Palomar, E., González-Tablas, A. I., & Ribagorda, A. (2010). Formal proof of cooperativeness in a multi-party P2P content authentication protocol. In Trust, Privacy and Security in Digital Business - 7th International Conference, TrustBus 2010, Proceedings (pp. 141-152). (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 6264 LNCS). https://doi.org/10.1007/978-3-642-15152-1_13

Alcaide, Almudena ; Palomar, Esther ; González-Tablas, Ana I. et al. / Formal proof of cooperativeness in a multi-party P2P content authentication protocol. Trust, Privacy and Security in Digital Business - 7th International Conference, TrustBus 2010, Proceedings. 2010. pp. 141-152 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)).

@inproceedings{64dc812b6d4744f4ab8a195a3f2d0d0c,

title = "Formal proof of cooperativeness in a multi-party P2P content authentication protocol",

author = "Almudena Alcaide and Esther Palomar and Gonz{\'a}lez-Tablas, {Ana I.} and Arturo Ribagorda",

year = "2010",

doi = "10.1007/978-3-642-15152-1_13",

language = "English",

isbn = "3642151515",

series = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)",

pages = "141--152",

booktitle = "Trust, Privacy and Security in Digital Business - 7th International Conference, TrustBus 2010, Proceedings",

note = "7th International Conference on Trust, Privacy and Security in Digital Business, TrustBus 2010 ; Conference date: 30-08-2010 Through 31-08-2010",

}

Alcaide, A, Palomar, E, González-Tablas, AI & Ribagorda, A 2010, Formal proof of cooperativeness in a multi-party P2P content authentication protocol. in Trust, Privacy and Security in Digital Business - 7th International Conference, TrustBus 2010, Proceedings. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), vol. 6264 LNCS, pp. 141-152, 7th International Conference on Trust, Privacy and Security in Digital Business, TrustBus 2010, Bilbao, Spain, 30/08/10. https://doi.org/10.1007/978-3-642-15152-1_13

Formal proof of cooperativeness in a multi-party P2P content authentication protocol. / Alcaide, Almudena; Palomar, Esther; González-Tablas, Ana I. et al.
Trust, Privacy and Security in Digital Business - 7th International Conference, TrustBus 2010, Proceedings. 2010. p. 141-152 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 6264 LNCS).

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

TY - GEN

T1 - Formal proof of cooperativeness in a multi-party P2P content authentication protocol

AU - Alcaide, Almudena

AU - Palomar, Esther

AU - González-Tablas, Ana I.

AU - Ribagorda, Arturo

PY - 2010

Y1 - 2010

UR - http://www.scopus.com/inward/record.url?scp=78049385211&partnerID=8YFLogxK

UR - http://www.scopus.com/inward/citedby.url?scp=78049385211&partnerID=8YFLogxK

U2 - 10.1007/978-3-642-15152-1_13

DO - 10.1007/978-3-642-15152-1_13

M3 - Conference contribution

AN - SCOPUS:78049385211

SN - 3642151515

SN - 9783642151514

T3 - Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

SP - 141

EP - 152

BT - Trust, Privacy and Security in Digital Business - 7th International Conference, TrustBus 2010, Proceedings

T2 - 7th International Conference on Trust, Privacy and Security in Digital Business, TrustBus 2010

Y2 - 30 August 2010 through 31 August 2010

ER -

Alcaide A, Palomar E, González-Tablas AI, Ribagorda A. Formal proof of cooperativeness in a multi-party P2P content authentication protocol. In Trust, Privacy and Security in Digital Business - 7th International Conference, TrustBus 2010, Proceedings. 2010. p. 141-152. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)). doi: 10.1007/978-3-642-15152-1_13

Formal proof of cooperativeness in a multi-party P2P content authentication protocol

Publication series

Conference

Access to Document

Other files and links

Fingerprint

Cite this