{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,1,21]],"date-time":"2025-01-21T05:18:00Z","timestamp":1737436680549,"version":"3.33.0"},"publisher-location":"Berlin, Heidelberg","reference-count":11,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540739852"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1007\/978-3-540-73986-9_3","type":"book-chapter","created":{"date-parts":[[2007,8,23]],"date-time":"2007-08-23T15:41:42Z","timestamp":1187883702000},"page":"34-41","source":"Crossref","is-referenced-by-count":0,"title":["Assumptions: The Trojan Horses of Secure Protocols"],"prefix":"10.1007","author":[{"given":"Paulo","family":"Verissimo","sequence":"first","affiliation":[]}],"member":"297","reference":[{"issue":"2","key":"3_CR1","doi-asserted-by":"publisher","first-page":"374","DOI":"10.1145\/3149.214121","volume":"32","author":"M.J. Fischer","year":"1985","unstructured":"Fischer, M.J., Lynch, N.A., Paterson, M.S.: Impossibility of distributed consensus with one faulty process. Journal of the ACM 32(2), 374\u2013382 (1985)","journal-title":"Journal of the ACM"},{"key":"3_CR2","first-page":"214","volume-title":"Proceedings of the 17th IEEE International Symposium on Fault-Tolerant Computing","author":"F. Meyer","year":"1987","unstructured":"Meyer, F., Pradhan, D.: Consensus with dual failure modes. In: Proceedings of the 17th IEEE International Symposium on Fault-Tolerant Computing, pp. 214\u2013222. IEEE Computer Society Press, Los Alamitos (1987)"},{"issue":"2","key":"3_CR3","doi-asserted-by":"publisher","first-page":"288","DOI":"10.1145\/42282.42283","volume":"35","author":"C. Dwork","year":"1988","unstructured":"Dwork, C., Lynch, N., Stockmeyer, L.: Consensus in the presence of partial synchrony. Journal of the ACM 35(2), 288\u2013323 (1988)","journal-title":"Journal of the ACM"},{"doi-asserted-by":"crossref","unstructured":"Christian, F., Fetzer, C.: The timed asynchronous system model. In: Proceedings of the 28th IEEE International Symposium on Fault-Tolerant Computing, pp. 140\u2013149. IEEE Computer Society Press, Los Alamitos (1998)","key":"3_CR4","DOI":"10.1109\/FTCS.1998.689463"},{"issue":"2","key":"3_CR5","doi-asserted-by":"publisher","first-page":"225","DOI":"10.1145\/226643.226647","volume":"43","author":"T. Chandra","year":"1996","unstructured":"Chandra, T., Toueg, S.: Unreliable failure detectors for reliable distributed systems. Journal of the ACM 43(2), 225\u2013267 (1996)","journal-title":"Journal of the ACM"},{"doi-asserted-by":"crossref","unstructured":"Sousa, P., Neves, N.F., Verissimo, P.: How resilient are distributed f fault\/intrusion-tolerant systems? In: Proceedings of the Int. Conference on Dependable Systems and Networks, pp. 98\u2013107 (2005)","key":"3_CR6","DOI":"10.1109\/DSN.2005.55"},{"key":"3_CR7","doi-asserted-by":"publisher","first-page":"51","DOI":"10.1145\/112600.112605","volume-title":"Proceedings of the 10th Annual ACM Symposium on Principles of Distributed Computing","author":"R. Ostrovsky","year":"1991","unstructured":"Ostrovsky, R., Yung, M.: How to withstand mobile virus attacks (extended abstract). In: Proceedings of the 10th Annual ACM Symposium on Principles of Distributed Computing, pp. 51\u201359. ACM Press, New York (1991)"},{"unstructured":"Sousa, P., Neves, N.F., Verissimo, P.: Hidden problems of asynchronous proactive recovery. In: Third Workshop on Hot Topics in System Dependability (Hot Dep\u201907) (2007)","key":"3_CR8"},{"doi-asserted-by":"crossref","unstructured":"Verissimo, P., Casimiro, A.: The Timely Computing Base model and architecture. Transactions on Computers \u2014 Special Issue on Asynchronous Real-Time Systems 51(8) (August 2002) A preliminary version of this document appeared as Technical Report DI\/FCUL TR 99-2, Department of Computer Science, University of Lisboa (April 1999)","key":"3_CR9","DOI":"10.1109\/TC.2002.1024739"},{"doi-asserted-by":"crossref","unstructured":"Verissimo, P.: Travelling through wormholes: a new look at distributed systems models. SIGACTN: SIGACT News (ACM Special Interest Group on Automata and Computability Theory) 37(1) (Whole Number 138) (2006)","key":"3_CR10","DOI":"10.1145\/1122480.1122497"},{"key":"3_CR11","series-title":"LNCS","doi-asserted-by":"publisher","first-page":"108","DOI":"10.1007\/3-540-37795-6_22","volume-title":"Future Directions in Distributed Computing","author":"P. Verissimo","year":"2003","unstructured":"Verissimo, P.: Uncertainty and predictability: Can they be reconciled? In: Schiper, A., Shvartsman, A.A., Weatherspoon, H., Zhao, B.Y. (eds.) Future Directions in Distributed Computing. LNCS, vol. 2584, pp. 108\u2013113. Springger, Heidelberg (2003)"}],"container-title":["Communications in Computer and Information Science","Computer Network Security"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-73986-9_3.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,1,20]],"date-time":"2025-01-20T16:11:53Z","timestamp":1737389513000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-73986-9_3"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"ISBN":["9783540739852"],"references-count":11,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-73986-9_3","relation":{},"subject":[]}}