How to withstand mobile virus attacks (extended abstract)

Subscribe (Full Service)


	Search: The ACM Digital Library The Guide

	Feedback

How to withstand mobile virus attacks (extended abstract)

Full text

Pdf (900 KB)

Source

Annual ACM Symposium on Principles of Distributed Computing archive
Proceedings of the tenth annual ACM symposium on Principles of distributed computing table of contents

Montreal, Quebec, Canada

Pages: 51 - 59

Year of Publication: 1991

ISBN:0-89791-439-2

Authors

Rafail Ostrovsky	MIT Laboratory for Computer Science, 545 Technology Sq., Cambridge MA
Moti Yung	IBM Research, T.J, Watson Center, Yorktown, NY

Sponsors

SIGOPS: ACM Special Interest Group on Operating Systems
SIGACT: ACM Special Interest Group on Algorithms and Computation Theory

Publisher

ACM New York, NY, USA

Bibliometrics

Downloads (6 Weeks): 10, Downloads (12 Months): 122, Citation Count: 46

Additional Information:

references cited by index terms collaborative colleagues

Tools and Actions:	Request Permissions Review this Article Save this Article to a Binder Display Formats: BibTeX EndNote ACM Ref

DOI Bookmark:	Use this link to bookmark this Article: http://doi.acm.org/10.1145/112600.112605 What is a DOI?

REFERENCES

Note: OCR errors may be found in this Reference List extracted from the full text article. ACM has opted to expose the complete List rather than only correct and linked references.

	A	L. Adelman Abstract Theory o/ Computer Viruses CRYPTO 88.
	BB	Bar Ilan J. and D. Beaver, Non. Cryptographic Secure Computation in Constant Rounds PODC 1989, ACM.
	BMR	D. Beaver , S. Micali , P. Rogaway, The round complexity of secure protocols, Proceedings of the twenty-second annual ACM symposium on Theory of computing, p.503-513, May 13-17, 1990, Baltimore, Maryland, United States [doi>10.1145/100216.100287]
	BG	Beaver D., S. Goldwasser Multiparty Computation with Faulty Majority FOCS 1989, IEEE, pp. 468-473.
	BGW	Michael Ben-Or , Shafi Goldwasser , Avi Wigderson, Completeness theorems for non-cryptographic fault-tolerant distributed computation, Proceedings of the twentieth annual ACM symposium on Theory of computing, p.1-10, May 02-04, 1988, Chicago, Illinois, United States [doi>10.1145/62212.62213]
	BE	Ben-Or M. and G. E1-Yaniv. , Manuscript.
	CCD	David Chaum , Claude Crépeau , Ivan Damgard, Multiparty unconditionally secure protocols, Proceedings of the twentieth annual ACM symposium on Theory of computing, p.11-19, May 02-04, 1988, Chicago, Illinois, United States [doi>10.1145/62212.62214]
	Co	Frederick B. Cohen, Computer viruses, 1986
	CGK	Isreal Cidon , Inder Gopal , Shay Kutten, New models and algorithms for future networks, Proceedings of the seventh annual ACM Symposium on Principles of distributed computing, p.79-89, August 15-17, 1988, Toronto, Ontario, Canada [doi>10.1145/62546.62560]
	De	D. Denning, An Intrusion. Detection Model, IEEE Sym. on Security and Privacy, 1986, pp. 118-131.
	Dij	Edsger W. Dijkstra, Self-stabilizing systems in spite of distributed control, Communications of the ACM, v.17 n.11, p.643-644, Nov. 1974 [doi>10.1145/361179.361202]
	DDWY	D. Dolev, C. Dwork, O. Waarts and M. Yung, Per/ectly Secure Message Transmission, FOCS 1990, IEEE.
	DSST	J R Driscoll , N Sarnak , D D Sleator , R E Tarjan, Making data structures persistent, Proceedings of the eighteenth annual ACM symposium on Theory of computing, p.109-121, May 28-30, 1986, Berkeley, California, United States [doi>10.1145/12130.12142]
	ER	M. Eichin and J. Rochlis, With Microscope and Tweezers: An Analysis of the Internet Virus of November 1988, IEEE Sym. on Security and Privacy, 1989, pp. 326-343.
	FM	Paul Feldman , Silvio Micali, Optimal algorithms for Byzantine agreement, Proceedings of the twentieth annual ACM symposium on Theory of computing, p.148-161, May 02-04, 1988, Chicago, Illinois, United States [doi>10.1145/62212.62225]
	F	P. Feldman Optimal Algorithms for Byzantine Agreement, MIT Ph.D. Thesis, 1988.
	FY	M. Franklin and M. Yung, Parallel Secure Distributed Computing, manuscript.
	GHY	Zvi Galil , Stuart Haber , Moti Yung, Cryptographic Computation: Secure Faut-Tolerant Protocols and the Public-Key Model, A Conference on the Theory and Applications of Cryptographic Techniques on Advances in Cryptology, p.135-155, August 16-20, 1987
	GMW1	O. Goldreich, S. Micali and A. Wigderson, Proofs that Yield Nothing But their Validity, FOCS 1986, iEEE, pp. 174-187.
	GMW2	O. Goldreich , S. Micali , A. Wigderson, How to play ANY mental game, Proceedings of the nineteenth annual ACM conference on Theory of computing, p.218-229, January 1987, New York, New York, United States [doi>10.1145/28395.28420]
	GMR	S Goldwasser , S Micali , C Rackoff, The knowledge complexity of interactive proof-systems, Proceedings of the seventeenth annual ACM symposium on Theory of computing, p.291-304, May 06-08, 1985, Providence, Rhode Island, United States [doi>10.1145/22145.22178]
	JA	M. Joseph, and A. Avizienis, A Fault- Tolerance Approach to Computer Viruses, IEEE Sym. on Security and Privacy, 1988, pp. 52-58.
	Ka	P.A. Kager, Limiting the Damage Potential o/ Discretionary Trojan Horses, IEEE Sym. on Security and Privacy, 1987, pp. 32-37.
	KW	Jeff Kephart and Steve White, Directed-Graph Epidemiological Models o/ Computer Viruses, IBM Research Report, also in iEEE Sym. on Security and Privacy, 1991.
	MiRo	S. MicaJi and P. Rogaway Secure Computation, a manuscript.
	MR	Silvio Micali , Tal Rabin, Collective Coin Tossing Without Assumptions nor Broadcasting, Proceedings of the 10th Annual International Cryptology Conference on Advances in Cryptology, p.253-266, August 11-15, 1990
	Pi	J. Piccioto, The Design o/an Effective Auditing Subsystem, IEEE Sym. on Security and Privacy, 1987, pp. 13-22.
	PSL	M. Pease , R. Shostak , L. Lamport, Reaching Agreement in the Presence of Faults, Journal of the ACM (JACM), v.27 n.2, p.228-234, April 1980 [doi>10.1145/322186.322188]
	SG	S-P. Shieh, and V. Gligor, Auditing the Use o/Covert Channels in Secure Systems, IEEE Sym. on Security and Privacy, 1990, pp. 285- 295.
	RB	T. Rabin , M. Ben-Or, Verifiable secret sharing and multiparty protocols with honest majority, Proceedings of the twenty-first annual ACM symposium on Theory of computing, p.73-85, May 14-17, 1989, Seattle, Washington, United States [doi>10.1145/73007.73014]
	W	Steve White, Personal Communication.

CITED BY 46

	Yair Frankel , Philip D. MacKenzie , Moti Yung, Robust efficient distributed RSA-key generation, Proceedings of the thirtieth annual ACM symposium on Theory of computing, p.663-672, May 24-26, 1998, Dallas, Texas, United States
	Matthew Franklin , Zvi Galil , Moti Yung, Eavesdropping games: a graph-theoretic approach to privacy in distributed systems, Journal of the ACM (JACM), v.47 n.2, p.225-243, March 2000
	Boaz Barak , Shai Halevi , Amir Herzberg , Dalit Naor, Clock synchronization with faults and recoveries (extended abstract), Proceedings of the nineteenth annual ACM symposium on Principles of distributed computing, p.133-142, July 16-19, 2000, Portland, Oregon, United States
	Boaz Barak , Amir Herzberg , Dalit Naor , Eldad Shai, The proactive security toolkit and applications, Proceedings of the 6th ACM conference on Computer and communications security, p.18-27, November 01-04, 1999, Kent Ridge Digital Labs, Singapore
	Amir Herzberg , Markus Jakobsson , Stanislław Jarecki , Hugo Krawczyk , Moti Yung, Proactive public key and signature systems, Proceedings of the 4th ACM conference on Computer and communications security, p.100-110, April 01-04, 1997, Zurich, Switzerland
	Shafi Goldwasser, Multi party computations: past and present, Proceedings of the sixteenth annual ACM symposium on Principles of distributed computing, p.1-6, August 21-24, 1997, Santa Barbara, California, United States
	Lidong Zhou , Fred B. Schneider , Robbert Van Renesse, COCA: A secure distributed online certification authority, ACM Transactions on Computer Systems (TOCS), v.20 n.4, p.329-368, November 2002
	Hugo Krawczyk, Simple forward-secure signatures from any signature scheme, Proceedings of the 7th ACM conference on Computer and communications security, p.108-115, November 01-04, 2000, Athens, Greece
	Alain Mayer , Rafail Ostrovsky , Moti Yung, Self-stabilizing algorithms for synchronous unidirectional rings, Proceedings of the seventh annual ACM-SIAM symposium on Discrete algorithms, p.564-573, January 28-30, 1996, Atlanta, Georgia, United States
	Yair Frankel , Philip MacKenzie , Moti Yung, Adaptively secure distributed public-key systems, Theoretical Computer Science, v.287 n.2, p.535-561, 28 September 2002
	Paul G. Spirakis , Christos D. Zaroliagis, Distributed algorithm engineering, Experimental algorithmics: from algorithm design to robust and efficient software, Springer-Verlag New York, Inc., New York, NY, 2002
	Gene Itkis, Cryptographic tamper evidence, Proceedings of the 10th ACM conference on Computer and communications security, October 27-30, 2003, Washington D.C., USA
	Michael Backes , Christian Cachin , Reto Strobl, Proactive secure message transmission in asynchronous networks, Proceedings of the twenty-second annual symposium on Principles of distributed computing, p.223-232, July 13-16, 2003, Boston, Massachusetts
	Sotiris Nikoletseas , Grigorios Prasinos , Paul Spirakis , Christos Zaroliagis, Attack propagation in networks, Proceedings of the thirteenth annual ACM symposium on Parallel algorithms and architectures, p.67-76, July 2001, Crete Island, Greece
	Ran Canetti , Shai Halevi , Amir Herzberg, Maintaining authenticated communication in the presence of break-ins, Proceedings of the sixteenth annual ACM symposium on Principles of distributed computing, p.15-24, August 21-24, 1997, Santa Barbara, California, United States
	Miguel Castro , Barbara Liskov, Practical byzantine fault tolerance and proactive recovery, ACM Transactions on Computer Systems (TOCS), v.20 n.4, p.398-461, November 2002
	Oded Goldreich, Cryptography and cryptographic protocols, Distributed Computing, v.16 n.2-3, p.177-199, September 2003
	Christian Scheideler, How to spread adversarial nodes?: rotate!, Proceedings of the thirty-seventh annual ACM symposium on Theory of computing, May 22-24, 2005, Baltimore, MD, USA
	Fred B. Schneider , Lidong Zhou, Implementing Trustworthy Services Using Replicated State Machines, IEEE Security and Privacy, v.3 n.5, p.34-43, September 2005
	Stanislaw Jarecki , Nitesh Saxena , Jeong Hyun Yi, An attack on the proactive RSA signature scheme in the URSA ad hoc network access control protocol, Proceedings of the 2nd ACM workshop on Security of ad hoc and sensor networks, October 25-25, 2004, Washington DC, USA
	Lidong Zhou , Fred B. Schneider , Robbert Van Renesse, APSS: proactive secret sharing in asynchronous systems, ACM Transactions on Information and System Security (TISSEC), v.8 n.3, p.259-286, August 2005
	Yevgeniy Dodis , Nelly Fazio , Aggelos Kiayias , Moti Yung, Scalable public-key tracing and revoking, Distributed Computing, v.17 n.4, p.323-347, May 2005
	Christian Cachin , Klaus Kursawe , Anna Lysyanskaya , Reto Strobl, Asynchronous verifiable secret sharing and proactive cryptosystems, Proceedings of the 9th ACM conference on Computer and communications security, November 18-22, 2002, Washington, DC, USA
	Dagmara Spiewak , Thomas Engel , Volker Fusenig, Towards a threat model for mobile ad-hoc networks, Proceedings of the 5th WSEAS International Conference on Information Security and Privacy, p.35-40, November 20-22, 2006, Venice, Italy
	Oded Goldreich, Foundations of cryptography: a primer, Foundations and Trends® in Theoretical Computer Science, v.1 n.1, p.1-116, April 2005
	Mario Di Raimondo , Rosario Gennaro, Provably secure threshold password-authenticated key exchange, Journal of Computer and System Sciences, v.72 n.6, p.978-1001, September 2006
	Danny Dolev, Century papers at the first quarter-century milestone, Proceedings of the twenty-fifth annual ACM symposium on Principles of distributed computing, p.3-4, July 23-26, 2006, Denver, Colorado, USA
	Paulo Sousa , Nuno Ferreira Neves , Paulo Veríssimo, Proactive resilience through architectural hybridization, Proceedings of the 2006 ACM symposium on Applied computing, April 23-27, 2006, Dijon, France
	Kannan Srinathan , C. Pandu Rangan, Possibility and complexity of probabilistic reliable communication in directed networks, Proceedings of the twenty-fifth annual ACM symposium on Principles of distributed computing, July 23-26, 2006, Denver, Colorado, USA
	Tassos Dimitriou , Sotiris Nikoletseas , Paul Spirakis, The infection time of graphs, Discrete Applied Mathematics, v.154 n.18, p.2577-2589, 1 December 2006
	Chee-Seng Chow , Amir Herzberg, Network randomization protocol: a proactive pseudo-random generator, Proceedings of the 5th conference on USENIX UNIX Security Symposium, p.6-6, June 05-07, 1995, Salt Lake City, Utah
	Nitesh Saxena , Gene Tsudik , Jeong Hyun Yi, Threshold cryptography in P2P and MANETs: The case of access control, Computer Networks: The International Journal of Computer and Telecommunications Networking, v.51 n.12, p.3632-3649, August, 2007
	Paulo Sousa , Nuno Ferreira Neves , Paulo Verissimo, Hidden problems of asynchronous proactive recovery, Proceedings of the 3rd conference on Third Workshop on Hot Topics in System Dependability, p.5-5, June 26, 2007, Edinburgh, UK
	Shouhuai Xu , Srdjan Čapkun, Distributed and Secure Bootstrapping of Mobile Ad Hoc Networks: Framework and Constructions, ACM Transactions on Information and System Security (TISSEC), v.12 n.1, p.1-37, October 2008
	Kamer Kaya , Ali Aydın Selçuk, Threshold cryptography based on Asmuth-Bloom secret sharing, Information Sciences: an International Journal, v.177 n.19, p.4148-4160, October, 2007
	Shouhuai Xu , Xiaohu Li , Paul Parker, Exploiting social networks for threshold signing: attack-resilience vs. availability, Proceedings of the 2008 ACM symposium on Information, computer and communications security, March 18-20, 2008, Tokyo, Japan
	Matt Franklin, A survey of key evolving cryptosystems, International Journal of Security and Networks, v.1 n.1/2, p.46-53, September 2006
	Michael Backes , Birgit Pfitzmann , Michael Waidner, The reactive simulatability (RSIM) framework for asynchronous systems, Information and Computation, v.205 n.12, p.1685-1720, December, 2007
	Jongtack Kim , Saewoong Bahk, Design of certification authority using secret redistribution and multicast routing in wireless mesh networks, Computer Networks: The International Journal of Computer and Telecommunications Networking, v.53 n.1, p.98-109, January, 2009
	Tobias Distler , Rüdiger Kapitza , Hans P. Reiser, Efficient state transfer for hypervisor-based proactive recovery, Proceedings of the 2nd workshop on Recent advances on intrusiton-tolerant systems, p.1-6, April 01-01, 2008, Glasgow, United Kingdom
	Alysson Bessani , Hans P. Reiser , Paulo Sousa , Ilir Gashi , Vladimir Stankovic , Tobias Distler , Rüdiger Kapitza , Alessandro Daidone , Rafael Obelheiro, FOREVER: Fault/intrusiOn REmoVal through Evolution & Recovery, Proceedings of the ACM/IFIP/USENIX Middleware '08 Conference Companion, December 01-05, 2008, Leuven, Belgium
	Paulo Sousa , Alysson Neves Bessani , Rafael R. Obelheiro, The FOREVER service for fault/intrusion removal, Proceedings of the 2nd workshop on Recent advances on intrusiton-tolerant systems, p.1-6, April 01-01, 2008, Glasgow, United Kingdom
	Arpita Patra , Ashish Choudhary , C. Pandu Rangan , Kannan Srinathan , Prasad Raghavendra, Perfectly reliable and secure message transmission tolerating mobile adversary, International Journal of Applied Cryptography, v.1 n.3, p.200-224, February 2009
	SeongHan Shin , Kazukuni Kobara , Hideki Imai, A Secure Authenticated Key Exchange Protocol for Credential Services, IEICE Transactions on Fundamentals of Electronics, Communications and Computer Sciences, v.E91-A n.1, p.139-149, January 2008
	Hans P. Reiser , Tobias Distler , Rüdiger Kapitza, Functional decomposition and interactions in hybrid intrusion-tolerant systems, Proceedings of the 3rd International DiscCoTec Workshop on Middleware-Application Interaction, p.7-12, June 12-12, 2009, Lisbon, Portugal
	Roberto Di Pietro , Luigi V. Mancini , Claudio Soriente , Angelo Spognardi , Gene Tsudik, Playing hide-and-seek with a focused mobile adversary in unattended wireless sensor networks, Ad Hoc Networks, v.7 n.8, p.1463-1475, November, 2009