{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T17:37:56Z","timestamp":1725557876146},"publisher-location":"Berlin, Heidelberg","reference-count":48,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540206934"},{"type":"electronic","value":"9783540409816"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2003]]},"DOI":"10.1007\/978-3-540-40981-6_18","type":"book-chapter","created":{"date-parts":[[2010,6,22]],"date-time":"2010-06-22T19:17:45Z","timestamp":1277234265000},"page":"221-238","source":"Crossref","is-referenced-by-count":2,"title":["Revisiting Liveness Properties in the Context of Secure Systems"],"prefix":"10.1007","author":[{"given":"Felix C.","family":"G\u00e4rtner","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"issue":"1","key":"18_CR1","doi-asserted-by":"publisher","first-page":"73","DOI":"10.1145\/151646.151649","volume":"15","author":"M. Abadi","year":"1993","unstructured":"Abadi, M., Lamport, L.: Composing specifications. ACM Transactions on Programming Languages and Systems\u00a015(1), 73\u2013132 (1993)","journal-title":"ACM Transactions on Programming Languages and Systems"},{"issue":"5","key":"18_CR2","doi-asserted-by":"publisher","first-page":"1543","DOI":"10.1145\/186025.186058","volume":"16","author":"M. Abadi","year":"1994","unstructured":"Abadi, M., Lamport, L.: An old-fashioned recipe for real time. ACM Transactions on Programming Languages and Systems\u00a016(5), 1543\u20131571 (1994)","journal-title":"ACM Transactions on Programming Languages and Systems"},{"key":"18_CR3","doi-asserted-by":"publisher","first-page":"181","DOI":"10.1016\/0020-0190(85)90056-0","volume":"21","author":"B. Alpern","year":"1985","unstructured":"Alpern, B., Schneider, F.B.: Defining liveness. Information Processing Letters\u00a021, 181\u2013185 (1985)","journal-title":"Information Processing Letters"},{"issue":"4","key":"18_CR4","doi-asserted-by":"publisher","first-page":"226","DOI":"10.1007\/BF01872848","volume":"2","author":"K.R. Apt","year":"1988","unstructured":"Apt, K.R., Francez, N., Katz, S.: Appraising fairness in languages for distributed programming. Distributed Computing\u00a02(4), 226\u2013241 (1988)","journal-title":"Distributed Computing"},{"issue":"11","key":"18_CR5","doi-asserted-by":"publisher","first-page":"1015","DOI":"10.1109\/32.256850","volume":"19","author":"A. Arora","year":"1993","unstructured":"Arora, A., Gouda, M.: Closure and convergence: A foundation of faulttolerant computing. IEEE Transactions on Software Engineering\u00a019(11), 1015\u20131027 (1993)","journal-title":"IEEE Transactions on Software Engineering"},{"issue":"1","key":"18_CR6","doi-asserted-by":"publisher","first-page":"63","DOI":"10.1109\/32.663998","volume":"24","author":"A. Arora","year":"1998","unstructured":"Arora, A., Kulkarni, S.S.: Component based design of multitolerant systems. IEEE Transactions on Software Engineering\u00a024(1), 63\u201378 (1998)","journal-title":"IEEE Transactions on Software Engineering"},{"issue":"2","key":"18_CR7","doi-asserted-by":"publisher","first-page":"171","DOI":"10.1145\/152610.152612","volume":"25","author":"M. Barborak","year":"1993","unstructured":"Barborak, M., Dahbura, A., Malek, M.: The consensus problem in fault-tolerant computing. ACM Computing Surveys\u00a025(2), 171\u2013220 (1993)","journal-title":"ACM Computing Surveys"},{"key":"18_CR8","unstructured":"Biba, K.J.: Integrity considerations for secure computer systems. Technical Report MTR-3153 Rev. 1, The MITRE Corp., Bedford, Massachusetts, April 1977. Electronic Systems Division, U. S. Air Force Systems Command, Technical Report ESD-TR-76-372 (1977)"},{"issue":"10","key":"18_CR9","doi-asserted-by":"crossref","first-page":"67","DOI":"10.1109\/2.955101","volume":"34","author":"M. Bond","year":"2001","unstructured":"Bond, M., Anderson, R.: API-level attacks on embedded systems. IEEE Computer\u00a034(10), 67\u201375 (2001)","journal-title":"IEEE Computer"},{"issue":"4","key":"18_CR10","doi-asserted-by":"publisher","first-page":"824","DOI":"10.1145\/4221.214134","volume":"32","author":"G. Bracha","year":"1985","unstructured":"Bracha, G., Toueg, S.: Asynchronous consensus and broadcast protocols. Journal of the ACM\u00a032(4), 824\u2013840 (1985)","journal-title":"Journal of the ACM"},{"key":"18_CR11","doi-asserted-by":"crossref","unstructured":"Cachin, C., Kursawe, K., Lysyanskaya, A., Strobl, R.: Asynchronous verifiable secret sharing and proactive cryptosystems. In: Proceedings of the 9th ACM Conference on Computer and Communications Security (CCS-9), Washington, DC (2002)","DOI":"10.1145\/586110.586124"},{"key":"18_CR12","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"524","DOI":"10.1007\/3-540-44647-8_31","volume-title":"Advances in Cryptology - CRYPTO 2001","author":"C. Cachin","year":"2001","unstructured":"Cachin, C., Kursawe, K., Petzold, F., Shoup, V.: Secure and efficient asynchronous broadcast protocols. In: Kilian, J. (ed.) CRYPTO 2001. LNCS, vol.\u00a02139, p. 524. Springer, Heidelberg (2001); See [13] for long version"},{"key":"#cr-split#-18_CR13.1","doi-asserted-by":"crossref","unstructured":"Cachin, C., Kursawe, K., Petzold, F., Shoup, V.: Secure and efficient asynchronous broadcast protocols. Record 2001\/006, Cryptology ePrint Archive (January 2001);","DOI":"10.1007\/3-540-44647-8_31"},{"key":"#cr-split#-18_CR13.2","unstructured":"An extended abstract was published as [12]"},{"key":"18_CR14","doi-asserted-by":"crossref","unstructured":"Cachin, C., Kursawe, K., Shoup, V.: Random oracles in constantinople: practical asynchronous Byzantine agreement using cryptography. In: Proceedings of the Symposium on Principles of Distributed Computing, Portland, Oregon, pp. 123\u2013132 (2000)","DOI":"10.1145\/343477.343531"},{"key":"18_CR15","unstructured":"CERT Coordination Center. CERT advisory CA-1996-21 TCP SYN flooding and IP spoofing attacks (September 1996), Internet: http:\/\/www.cert.org\/advisories\/CA-1996-21.html last revision: November 2000"},{"key":"18_CR16","unstructured":"CERT Coordination Center. Denial of service attacks (June 2001), Internet: http:\/\/www.cert.org\/tech_tips\/denial_of_service.html"},{"key":"18_CR17","unstructured":"CERT Coordination Center. Email bombing and spamming (August 2002), Internet: http:\/\/www.cert.org\/tech_tips\/email_bombing_spamming.html"},{"issue":"2","key":"18_CR18","doi-asserted-by":"publisher","first-page":"225","DOI":"10.1145\/226643.226647","volume":"43","author":"T.D. Chandra","year":"1996","unstructured":"Chandra, T.D., Toueg, S.: Unreliable failure detectors for reliable distributed systems. Journal of the ACM\u00a043(2), 225\u2013267 (1996)","journal-title":"Journal of the ACM"},{"key":"18_CR19","unstructured":"CNN.com. Cyber-attacks batter web heavyweights (February 2000), Internet: http:\/\/www.cnn.com\/2000\/TECH\/computing\/02\/09\/cyber.attacks.01\/index.htm%l"},{"key":"18_CR20","doi-asserted-by":"crossref","unstructured":"Cristian, F., Fetzer, C.: The timed asynchronous distributed system model. IEEE Transactions on Parallel and Distributed Systems\u00a010(6) (June 1999)","DOI":"10.1109\/71.774912"},{"issue":"2","key":"18_CR21","doi-asserted-by":"publisher","first-page":"198","DOI":"10.1109\/TIT.1983.1056650","volume":"29","author":"D. Dolev","year":"1983","unstructured":"Dolev, D., Yao, A.C.: On the security of public key protocols. IEEE Transactions on Information Theory\u00a029(2), 198\u2013208 (1983)","journal-title":"IEEE Transactions on Information Theory"},{"key":"18_CR22","doi-asserted-by":"crossref","DOI":"10.7551\/mitpress\/6156.001.0001","volume-title":"Self-Stabilization","author":"S. Dolev","year":"2000","unstructured":"Dolev, S.: Self-Stabilization. MIT Press, Cambridge (2000)"},{"issue":"2","key":"18_CR23","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\u00a035(2), 288\u2013323 (1988)","journal-title":"Journal of the ACM"},{"key":"18_CR24","first-page":"282","volume-title":"Proceedings of The Twenty-Seventh Annual International Symposium on Fault-Tolerant Computing (FTCS 1997)","author":"C. Fetzer","year":"1997","unstructured":"Fetzer, C., Cristian, F.: Fail-awareness: An approach to construct fail-safe applications. In: Proceedings of The Twenty-Seventh Annual International Symposium on Fault-Tolerant Computing (FTCS 1997), pp. 282\u2013291. IEEE, Los Alamitos (1997)"},{"key":"18_CR25","doi-asserted-by":"crossref","first-page":"11","DOI":"10.1109\/SP.1982.10014","volume-title":"Proceedings of the 1982 Symposium on Security and Privacy (SSP 1982)","author":"J.A. Goguen","year":"1982","unstructured":"Goguen, J.A., Meseguer, J.: Security policies and security models. In: Proceedings of the 1982 Symposium on Security and Privacy (SSP 1982), Los Alamitos, Ca., USA, pp. 11\u201320. IEEE Computer Society Press, Los Alamitos (1982)"},{"issue":"8","key":"18_CR26","doi-asserted-by":"publisher","first-page":"931","DOI":"10.1109\/TC.2002.1024740","volume":"51","author":"J.-F. Hermant","year":"2002","unstructured":"Hermant, J.-F., Le Lann, G.: Fast asynchronous uniform consensus in real-time distributed systems. IEEE Transactions on Computers\u00a051(8), 931\u2013944 (2002)","journal-title":"IEEE Transactions on Computers"},{"issue":"4","key":"18_CR27","doi-asserted-by":"crossref","first-page":"75","DOI":"10.1109\/2.585157","volume":"30","author":"M.-C. Hsueh","year":"1997","unstructured":"Hsueh, M.-C., Tsai, T.K., Iyer, R.K.: Fault injection techniques and tools. IEEE Computer\u00a030(4), 75\u201382 (1997)","journal-title":"IEEE Computer"},{"key":"18_CR28","unstructured":"Kindler, E.: Safety and liveness properties: A survey. EATCS-Bulletin\u00a0(53) (June 1994)"},{"key":"18_CR29","first-page":"352","volume-title":"Proceedings of the 21st IEEE Symposium on Reliable Distributed Systems (SRDS), Workshop on Reliable Peer-to-Peer Distributed Systems","author":"K. Kursawe","year":"2002","unstructured":"Kursawe, K.: Asynchronous byzantine group communication. In: Proceedings of the 21st IEEE Symposium on Reliable Distributed Systems (SRDS), Workshop on Reliable Peer-to-Peer Distributed Systems, Osaka, Japan, pp. 352\u2013357. IEEE Computer Society Press, Los Alamitos (2002)"},{"issue":"3","key":"18_CR30","doi-asserted-by":"publisher","first-page":"382","DOI":"10.1145\/357172.357176","volume":"4","author":"L. Lamport","year":"1982","unstructured":"Lamport, L., Shostak, R., Pease, M.: The Byzantine generals problem. ACM Transactions on Programming Languages and Systems\u00a04(3), 382\u2013401 (1982)","journal-title":"ACM Transactions on Programming Languages and Systems"},{"issue":"2","key":"18_CR31","doi-asserted-by":"publisher","first-page":"125","DOI":"10.1109\/TSE.1977.229904","volume":"3","author":"L. Lamport","year":"1977","unstructured":"Lamport, L.: Proving the correctness of multiprocess programs. IEEE Transactions on Software Engineering\u00a03(2), 125\u2013143 (1977)","journal-title":"IEEE Transactions on Software Engineering"},{"issue":"4","key":"18_CR32","doi-asserted-by":"publisher","first-page":"239","DOI":"10.1007\/PL00008921","volume":"13","author":"L. Lamport","year":"2000","unstructured":"Lamport, L.: Fairness and hyperfairness. Distributed Computing\u00a013(4), 239\u2013245 (2000)","journal-title":"Distributed Computing"},{"key":"18_CR33","series-title":"Dependable Computing and Fault-Tolerant Systems","volume-title":"Dependability: Basic concepts and Terminology","year":"1992","unstructured":"Laprie, J.-C. (ed.): Dependability: Basic concepts and Terminology. Dependable Computing and Fault-Tolerant Systems, vol.\u00a05. Springer, Heidelberg (1992)"},{"key":"18_CR34","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"51","DOI":"10.1007\/BFb0022137","volume-title":"Distributed Algorithms","author":"G. Lann Le","year":"1995","unstructured":"Le Lann, G.: On real-time and non real-time distributed computing. In: Helary, J.-M., Raynal, M. (eds.) WDAG 1995. LNCS, vol.\u00a0972, pp. 51\u201370. Springer, Heidelberg (1995)"},{"issue":"1","key":"18_CR35","doi-asserted-by":"publisher","first-page":"46","DOI":"10.1145\/314602.314605","volume":"21","author":"Z. Liu","year":"1999","unstructured":"Liu, Z., Joseph, M.: Specification and verification of fault-tolerance, timing and scheduling. ACM Transactions on Programming Languages and Systems\u00a021(1), 46\u201389 (1999)","journal-title":"ACM Transactions on Programming Languages and Systems"},{"key":"18_CR36","volume-title":"Proceedings of the 13th IEEE Computer Security Foundations Workshop (CSFW 2000)","author":"H. Mantel","year":"2000","unstructured":"Mantel, H.: Possibilistic definitions of security - An assembly kit. In: Proceedings of the 13th IEEE Computer Security Foundations Workshop (CSFW 2000), Cambridge, England, July 2000. IEEE Computer Society Press, Los Alamitos (2000)"},{"key":"18_CR37","unstructured":"Masum, A.: Non-cooperative Byzantine failures: A new framework for the design of efficient fault tolerance protocols. PhD thesis, Universit\u00e4t-Gesamthochschule Essen, Fachbereich Mathematik und Informatik, Published by Libri Books on demand (2000) ISBN 3-8311-0815-3"},{"issue":"1","key":"18_CR38","doi-asserted-by":"publisher","first-page":"53","DOI":"10.1109\/32.481534","volume":"22","author":"J. McLean","year":"1996","unstructured":"McLean, J.: A general theory of composition for a class of \u201cpossibilistic\u201d properties. IEEE Transactions on Software Engineering\u00a022(1), 53\u201367 (1996); Special Section\u2014Best Papers of the IEEE Symposium on Security and Privacy 1994","journal-title":"IEEE Transactions on Software Engineering"},{"key":"18_CR39","first-page":"237","volume-title":"DISCEX 2000","author":"C. Meadows","year":"2000","unstructured":"Meadows, C.: Open issues in formal methods for cryptographic protocol analysis. In: DISCEX 2000, pp. 237\u2013250. IEEE Computer Society Press, Los Alamitos (2000)"},{"key":"18_CR40","first-page":"386","volume-title":"Proceedings of the 22nd Annual International Symposium on Fault-Tolerant Computing (FTCS 1992)","author":"D. Powell","year":"1992","unstructured":"Powell, D.: Failure mode assumptions and assumption coverage. In: Pradhan, D.K. (ed.) Proceedings of the 22nd Annual International Symposium on Fault-Tolerant Computing (FTCS 1992), Boston, MA, July 1992, pp. 386\u2013395. IEEE Computer Society Press, Los Alamitos (1992)"},{"key":"18_CR41","unstructured":"Inc. RSA Data Security. RSA code-breaking contest again won by Distributed.net and Electronic Frontier Foundation (EFF) (January 1999) Internet: http:\/\/www.rsasecurity.com\/company\/news\/releases\/pr.asp?doc_id=462"},{"issue":"2","key":"18_CR42","doi-asserted-by":"publisher","first-page":"189","DOI":"10.1016\/0951-8320(94)90065-5","volume":"43","author":"J. Rushby","year":"1994","unstructured":"Rushby, J.: Critical system properties: Survey and taxonomy. Reliability Engineering and System Safety\u00a043(2), 189\u2013219 (1994)","journal-title":"Reliability Engineering and System Safety"},{"key":"18_CR43","series-title":"Dependable Computing and Fault Tolerant Systems","first-page":"203","volume-title":"Dependable Computing for Critical Applications\u20146","author":"J. Rushby","year":"1997","unstructured":"Rushby, J.: Systematic formal verification for fault-tolerant time-triggered algorithms. In: Cin, M.D., Meadows, C., Sanders, W.H. (eds.) Dependable Computing for Critical Applications\u20146, Dependable Computing and Fault Tolerant Systems, Garmisch-Partenkirchen, Germany, vol.\u00a011, pp. 203\u2013222. IEEE Computer Society, Los Alamitos (1997)"},{"key":"18_CR44","series-title":"ch. 2","first-page":"17","volume-title":"Distributed Systems","author":"F.B. Schneider","year":"1993","unstructured":"Schneider, F.B.: What good are models and what models are good? In: Mullender, S. (ed.) Distributed Systems, 2nd edn, ch. 2, pp. 17\u201326. Addison-Wesley, Reading (1993)","edition":"2"},{"issue":"6","key":"18_CR45","doi-asserted-by":"crossref","first-page":"8","DOI":"10.1109\/2.153253","volume":"25","author":"J. Turek","year":"1992","unstructured":"Turek, J., Shasha, D.: The many faces of consensus in distributed systems. IEEE Computer\u00a025(6), 8\u201317 (1992)","journal-title":"IEEE Computer"},{"key":"18_CR46","series-title":"ch. 17","first-page":"447","volume-title":"Distributed Systems","author":"P. Ver\u00edssimo","year":"1993","unstructured":"Ver\u00edssimo, P.: Real-time communication. In: Mullender, S. (ed.) Distributed Systems, 2nd edn, ch. 17, pp. 447\u2013490. Addison-Wesley, Reading (1993)","edition":"2"},{"key":"18_CR47","unstructured":"V\u00f6lzer, H.: Fairness, Randomisierung und Konspiration in verteilten Algorithmen. PhD thesis, Humboldt Universit\u00e4t zu Berlin, Fakult\u00e4t f\u00fcr Informatik (December 2000)"}],"container-title":["Lecture Notes in Computer Science","Formal Aspects of Security"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-40981-6_18","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,6,6]],"date-time":"2020-06-06T01:22:41Z","timestamp":1591406561000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-40981-6_18"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2003]]},"ISBN":["9783540206934","9783540409816"],"references-count":48,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-40981-6_18","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2003]]}}}