Active networking: One view of the past, present and future

IEEE Transactions on Systems, Man and Cybernetics Part C: Applications and Reviews

Volumn 34, Issue 1, 2004, Pages 4-18

  Smith, Jonathan M ^a   Nettles, Scott M ^b  

^a UNIVERSITY OF PENNSYLVANIA   (United States)

^b UNIVERSITY OF TEXAS AT AUSTIN   (United States)

Author keywords

Communication system software; Communication systems; Programming operating systems; Protocols

Indexed keywords

ACTIVE NETWORKS; COMPUTER PERIPHERAL EQUIPMENT; DISTRIBUTED COMPUTER SYSTEMS; DYNAMIC PROGRAMMING; NETWORK PROTOCOLS; SOFTWARE PROTOTYPING;

COMMUNICATION SYSTEM SOFTWARE; SWITCHWARE PROJECT;

TELECOMMUNICATION SYSTEMS;

EID: 0442279648     PISSN: 10946977     EISSN: None     Source Type: Journal    
DOI: 10.1109/TSMCC.2003.818493     Document Type: Article

References (129)

1. D. W. Wall, "Messages as active agents," in Proc. 9th Annu. POPL, 1982, pp. 34-39.
2. J. Zander and R. Forchheimer, "Preliminary Specification of a Distributed Packet Radio System Using the Amateur Band," Univ. Linköping, Linköping, Sweden, Jan. 1980.
3. ____, "Softnet - An approach to higher level packet radio," in Proc. AMRAD Conf., 1983.
4. J. M. Smith, "Reflections on Active Networking," Dept. Comput. Inform. Sci., Univ. Pennsylvania, Tech. Rep. MS-CIS-03-05, 2003.
5. D. J. Farber and K. Larson, "The architecture of a distributed computer system - An informal description," Inform. Comput. Sci., Univ. California, Irvine, Tech. Rep. 11, 1970.
6. D. J. Farber, "The distributed computing system," in Proc. COMPCOM, 1973, pp. 31-34.
7. J. M. Smith, "A survey of process migration mechanisms," in Proc. ACM SIGOPS Oper. Syst. Rev., July 1988, pp. 28-40.
8. J. M. Smith and J. Ioannidis, "Implementing remote fork() with check-point/restart," IEEE Tech. Committee Oper. Syst. Newsletter, pp. 12-16, Feb. 1989.
9. D. J. Wetherall, J. Guttag, and D. L. Tennenhouse, "ANTS: A toolkit for building and dynamically deploying network protocols," in Proc. IEEE OpenArch, 1998, pp. 117-129.
10. B. J. Nelson, "Remote Procedure Call," Ph.D. dissertation, Carnegie Mellon Univ., Pittsburgh, PA, 1981.
11. A. D. Birrell and B. J. Nelson, "Implementing remote procedure calls," ACM Trans. Comput. Syst., vol. 2, no. 1, pp. 39-59, Feb. 1984.
12. J. Gosling, D. S. H. Rosenthal, and M. J. Arden, The NeWS Book: An Introduction to the Network/Extensible Window System. New York: Springer-Verlag, 1989.
13. J. W. Stamos, "Remote Evaluation," Ph.D. dissertation, Mass. Inst. Technol., Cambridge, Jan. 1986.
14. J. W. Stamos and D. K. Gifford, "Remote evaluation," ACM Trans. Program. Lang. Syst., vol. 12, no. 4, pp. 537-565, Oct. 1990.
15. ____, "Implementing remote evaluation," IEEE Trans. Softw. Eng., 16, pp. 710-722, July 1990.
16. S. M. Clamen, L. D. Leibengood, S. M. Nettles, and J. M. Wing, "Reliable distributed computing with avalon/common lisp," in Proc. Int. Conf. Computer Languages, 1990, pp. 169-179.
17. J. M. Smith, J. Gerald, and Q. Maguire, "Process migration: effects on scientific computation," ACM SIGPLAN Notices, vol. 23, no. 3, pp. 102-106, Mar. 1988.
18. "Gigabit network testbeds," IEEE Comput., vol. 23, pp. 77-80, Sept. 1990.
19. J. Babcock, "SONET: A practical perspective," Bus. Commun. Rev., vol. 20, no. 9, pp. 59-63, Sept. 1990.
20. "Synchronous Optical Network (SONET) Transport Systems: Common Generic Criteria," Bellcore, Red Bank, NJ, Report TR-NWT-000 253, Dec. 1991.
21. Gigabit Rate Transmit Receive Chip Set Technical Data, Hewlett-Packard, 1992.
22. HP9000 Series 700 HIPPI Interface HP J2069A, Hewlett-Packard, 1994.
23. W. St. John and D. DuBois, "HiPPI-SONET gateway," in CASA Gigabit Testbed Annual Rep., 1993, pp. 47-52.
24. J. Giacopelli, J. Hickey, W. Marcus, W. D. Sincoskie, and M. Littlewood, "Sunshine: A high-performance self-routing broadband packet switch architecture," IEEE J. Select. Areas Commun., vol. 9, pp. 1289-1298, Oct. 1991.
25. T. Bogovic, B. Davie, J. Hickey, W. Marcus, V. Massa, L. Trajkovic and D. Wilson, "The architecture of the sunshine broadband testbed," in Proc. of XIV Internation Switching Symp., Oct. 1992, pp. 204-208.
26. D. Clark, B. Davie, D. Farber, I. Gopal, B. Kodaba, W. Sincoskie, J. Smith, and D. Tennenhouse, "An overview of the AURORA gigabit testbed," in Proc. IEEE INFOCOM Conf., 1992, pp. 569-581.
27. D. D. Clark et al., "The AURORA gigabit testbed," Computer Netw. ISDN Syst., vol. 25, no. 6, pp. 599-621, Jan. 1993.
28. W. D. Sincoskie, "Broadband packet switching: a personal perspective," IEEE Commun. Mag., vol. 40, pp. 54-66, July 2002.
29. P. Newman, G. Minshall, and T. Lyon, "IP switching - ATM under IP," IEEE/ACM Trans. Networking, pp. 117-129, Apr. 1998.
30. T. Li, "MPLS and the evolving internet architecture," IEEE Commun. Mag., vol. 37, pp. 38-41, Dec. 1999.
31. D. D. Clark, "The design philosophy of the DARPA internet protocols," ACM Comput. Commun. Rev., vol. 18, no. 4, pp. 106-114, Aug. 1988.
32. A. S. Tanenbaum, Computer Networks, 2nd ed: Prentice-Hall, 1988.
33. J. E. van Merwe and I. M. Leslie, "Switchlets and dynamic virtual ATM networks," in Proc. IFIP Integrated Network Management V, May 1997, pp. 355-368.
34. S. Rooney, "Connection closures: adding application-defined behavior to network connections," ACM Comput. Commun. Rev., vol. 27, no. 2, pp. 74-88, 1997.
35. D. A. Halls and S. G. Rooney, "Controlling the tempest: adaptive management in advanced ATM control architectures," IEEE J. Select. Areas Commun., vol. 16, Apr. 1998.
36. J. E. van der Merwe and I. M. Leslie, "Service-specific control architectures for ATM," IEEE J. Select. Areas Commun., vol. 16, Apr. 1998.
37. W. D. Sincoskie, Personal Communications on Interservice Networking, 1992.
38. J. M. Smith, "Store, Translate and Forward (STF) Networks," unpublished, 1993.
39. N. C. Hutchinson and L. L. Peterson, "The x-Kernel: an architecture for implementing network protocols," IEEE Trans. Softw. Eng., vol. 17, pp. 64-76, Jan. 1991.
40. D. Ritchie, "A stream input-output system," AT&T Bell Lab. Tech. J., pt. 2, vol. 63, no. 8, pp. 1897-1910, Oct. 1984.
41. C. Tschudin, "Flexible protocol stacks," in Proc. ACM SIGCOMM Conf., Aug. 1991, pp. 197-204.
42. T. Plagemann, B. Plattner, M. Vogt, and T. Walter, "A model for dynamic configuration of light-weight protocols," in Proc. 3rd IEEE Workshop Future Trends Distributed Systems, Apr. 1992, pp. 100-106.
43. A. Mallet, J. D. Chung, and J. M. Smith, "Operating systems support for protocol boosters," in Proc. HIPPARCH Workshop, June 1997.
44. W. S. Marcus, A. J. McAuley, and T. Raleigh, "Protocol boosters: a kernel-level implementation," in Proc. IEEE GLOBECOM, Nov. 1998, pp. 1619-1623.
45. D. C. Feldmeier, A. J. McAuley, J. M. Smith, D. S. Bakin, W. S. Marcus, and T. M. Raleigh, "Protocol boosters," IEEE J. Select. Areas Commun., vol. 16, pp. 437-444, Apr. 1998.
46. I. Hadžić and J. M. Smith, "P4: A platform for FPGA implementation of protocol boosters," in Field Programmable Logic 1997. New York: Springer-Verlag, 1997, ser. Lecture Notes in Computer Science, no. 1304, pp. 438-447.
47. I. Hadžić, "Applying Reconfigurable Computing to Reconfigurable Networks," Ph.D. dissertation, Univ. Pennsylvania, Philadelphia, Sept. 1999.
48. Y. Yemini and S. daSilva, "Toward programmable networks," in IFIP/IEEE Int. Workshop Distributed Systems: Operations Management, Oct. 1996.
49. J. Hartman, U. Manber, L. Peterson, and T. Proebsting, "Liquid Software: A New Paradigm for Networked Systems," Univ. Arizona, Tuscon, AZ, Tech. Rep. 96-11, June 1996.
50. C. Partridge and A. Jackson. (1996) Smart Packets. BBN. [Online] Available: http://www.net-tech.bbn.com/smtpkts/smtpkts-index.html
51. B. Schwartz, A. W. Jackson, W. T. Strayer, W. Zhou, D. Rockwell, and C. Partridge, "Smart packets for active networks," ACM Trans. Comput. Syst., vol. 18, no. 1, pp. 67-88, Feb. 2000.
52. D. Tennenhouse and D. Wetherall, "Toward an active network architecture," Comput. Commun. Rev., vol. 26, no. 2, 1996.
53. J. M. Smith, D. J. Farber, C. A. Gunter, S. M. Nettles, D. C. Feldmeier, and W. D. Sincoskie. (1996, June) SwitchWare: Accelerating Network Evolution (White Paper). Univ. Pennsylvania, Philadelphia. [Online] Available: http//www.cis.upenn.edu/jms/white-paper.ps
54. D. L. Tennenhouse, J. M. Smith, W. D. Sincoskie, D. J. Wetherall, and G. J. Minden, "A survey of active network research," IEEE Commun., vol. 35, pp. 80-86, Jan. 1997.
55. M. Hicks, J. T. Moore, D. Wetherall, and S. Nettles, "Experiences with capsule-based active networking," in Proc. IEEE DARPA Active Networks Conference and Exposition (DANCE), May, 2002, pp. 16-24.
56. R. Milner, M. Tofte, and R. Harper, The Definition of Standard ML. Cambridge, MA: MIT Press, 1990.
57. J. Gosling, B. Joy, and G. Steele, The Java Language Specification. Reading, MA: Addison-Wesley, 1996.
58. M. Blaze, J. Feigenbaum, and J. Lacy, "Decentralized trust management," in Proc. 17th Symp. Security 17 Privacy. Los Alamitos, CA: IEEE Comput. Soc. Press, 1996, pp. 164 -173.
59. Switchware Home Page. [Online] Available: http://www.cis.upenn.edu/switchware
60. J. M. Smith, D. J. Farber, D. C. Feldmeier, C. A. Gunter, S. M. Nettles, W. D. Sincoskie, and S. Alexander, "Switchware: Accelerating Network Evolution," Dept. Comput. Inform. Sci., Univ. Pennsylvania, Philadelphia, Tech. Rep. MS-CIS-96-38, 1996.
61. D. S. Alexander, W. A. Arbaugh, M. W. Hicks, P. Kakkar, A. D. Keromytis, J. T. Moore, C. A. Gunter, S. M. Nettles, and J. M. Smith, "The SwitchWare active network architecture," IEEE Network, pp. 29-36, May/June 1998.
62. D. S. Alexander, M. Shaw, S. Nettles, and J. Smith, "Active bridging," in Proc. ACM SIGCOMM Conf., 1997, pp. 101-111.
63. X. Leroy, The CAML Special Light System (Release 1.10). Rocquencourt, France: INRIA, Nov. 1995.
64. F. Louaix, "A web navigator with applets in CAML," in Proc. 5th WWW Conf., 1996, pp. 1365-1371.
65. R. Milner, M. Tofte, and R. Harper, The Definition of Standard ML. Cambridge, MA: MIT Press, 1990.
66. E. Biagioni, "A structured TCP in standard ML," in Proc. 1994 SIGCOMM Conf., 1994, pp. 36-45.
67. M. W. Hicks, A. D. Keromytis, and J. M. Smith, "A secure PLAN," IEEE Trans. Syst., Man, Cybern. C, vol. 33, pp. 413-426, Aug. 2003.
68. L. Peterson, Y. Gottlieb, M. Hibler, P. Tullman, J. Lepreau, S. Schwab, H. Dandekar, A. Purtell, and J. Hartman, "An OS interface for active routers," IEEE J. Select. Areas Commun., vol. 19, pp. 473-487, Mar. 2001.
69. P. Tullmann, M. Hibler, and J. Lepreau, "Janos: A java-oriented OS for active network nodes," IEEE J. Select. Areas Commun., vol. 19, pp. 501-510, Mar. 2001.
70. W. A. Arbaugh, D. J. Farber, and J. M. Smith, "A secure and reliable bootstrap architecture," in Proc. IEEE Security Privacy Conf., May 1997, pp. 65-71.
71. I. Hadžić, S. Udani, and J. M. Smith, "FPGA viruses," in Proc. 9th Int. Workshop Field-Programmable Logic Applications, FPL'99, Aug. 1999.
72. D. S. Alexander, W. A. Arbaugh, A. D. Keromytis, and J. M. Smith, "A secure active network environment architecture: Realization in switch-Ware," IEEE Network, pp. 37-45, May/June 1998.
73. R. M. Needham, "Denial of service: an example," Commun. ACM, vol. 37, no. 11, pp. 42-46, Nov. 1994.
74. D. S. Alexander, W. A. Arbaugh, A. D. Keromytis, S. Muir, and J. M. Smith, "Secure quality of service handling (SQoSH)," IEEE Commun., vol. 38, pp. 106-112, Apr. 2000.
75. D. Alexander, P. Menage, A. Keromytis, W. Arbaugh, K. Anagnostakis, and J. Smith, "The price of safety in an active network," J. Commun., vol. 3, no. 1, pp. 4-18, Mar. 2001.
76. S. J. Muir and J. M. Smith, "AsyMOS: An asymmetric multiprocessor operating system," in Proc. 1st OpenARCH Conf., Apr. 1998, pp. 25-34.
77. ____, "Supporting continuous media in the piglet OS," in Proc. 8th Int. Workshop Network Operating Systems Support Digital Audio Video, July 1998, pp. 99-102.
78. S. J. Muir, "Piglet: An Operating System for Network Appliances," Ph.D. dissertation, CIS Dept., Univ. Pennsylvania, Philadelphia, 2001.
79. I. M. Leslie, D. McAuley, R. Black, T. Roscoe, P. Barham, D. Evers, R. Fairbairns, and E. Hyden, "The design and implementation of an operating system to support distributed multimedia applications," IEEE J. Select. Areas Commun., vol. 14, pp. 1280-1297, Sept. 1996.
80. P. B. Menage, "Resource Control of Untrusted Code in an Open Programmable Network," Ph.D. dissertation, Univ. Cambridge, Cambridge, U.K., 2000.
81. M. Hicks, P. Kakkar, J. T. Moore, C. A. Gunter, and S. Nettles, "PLAN: A Packet Language for Active Networks," in Proc. Int. Conf. Functional Programming, 1998, pp. 86-93.
82. Plan Home Page. [Online] Available: http://www.cis.upenn.edu/switch-ware/PLAN
83. P. Kakkar, M. Hicks, J. T. Moore, and C. A. Gunter, "Specifying the PLAN network programming language," Electron. Notes Theoret. Comput. Sci., Sept. 1999.
84. M.-O. Stehr and C. Talcott, "Plan in maude: Specifying an active network programming language," in Proc. 4th Int. Workshop Rewriting Logic Its Applications. New York: Elsevier, Sept. 19-21, 2002, vol. 71, ser. Electron. Notes Theoret. Comput. Sci.
85. M. Hicks, J. T. Moore, D. S. Alexander, C. A. Gunter, and S. Nettles, "PLANet: An active internetwork," in Proc. 18th IEEE Computer Communication Society INFOCOM Conf.: IEEE, 1999, pp. 1124-1133.
86. J. T. Moore, M. Hicks, and S. Nettles, "Chunks in PLAN: Language support for programs as packets," in Proc. 37th Annu. Allerton Conf. Communication, Control, Computing, Sept. 1999.
87. M. W. Hicks, J. T. Moore, and S. Nettles, "Dynamic software updating," in SIGPLAN Conf. Programming Language Design Implementation, 2001, pp. 13-23.
88. M. Hicks, "Dynamic Software Updating," Ph.D. dissertation, CIS Dept., Univ. Pennsylvania, Philadelphia, 2001.
89. G. Morrisett, D. Walker, K. Crary, and N. Glew, "From system F to typed assembly language," in Proc. 25th ACM Symp. Principles of Programming Languages, Jan. 1998, pp. 85-97.
90. J. T. Moore, M. Hicks, and S. Nettles, "Practical programmable packets," in Proc. 20th IEEE Computer Communication Soc. INFOCOM Conf.: IEEE, Apr. 2001, pp. 41-50.
91. J. T. Moore, "Practical Active Packets," Ph.D. dissertation, Univ. Pennsylvania, Philadelphia, Sept. 2002.
92. M. Hicks, J. T. Moore, and S. Nettles, "Compiling PLAN to SNAP," in Proc. 3rd Int. Working Conf. Active Networks, vol. 2207, ser. Lecture Notes in Computer Science, I. W. Marshall, S. Nettles, and N. Wakamiya Eds., Oct. 2001, pp. 134-151.
93. Intel IXP Architecture Network Processors. [Online]. Available: http://www.intel.com/design/network/products/npfamily/
94. IBM PowerNP Network Processors. [Online]. Available: http://www-3.ibm.com/chips/products/wired/products/network processors.html
95. Agere Network Processors. [Online]. Available: http://www.agere.com/enter-prise metro access/networkprocessors.html
96. D. S. Alexander, W. A. Arbaugh, A. D. Keromytis, and J. M. Smith, "Safety and security of programmable network infrastructures," IEEE Commun., vol. 36, pp. 84-92, 1998.
97. ____, "Security in active networks," in Secure Internet Programming. New York: Springer-Verlag, 1999, ser. Lecture Notes in Computer Science, Berlin, Germany, pp. 433-451.
98. P. Molinero-Fernandez, N. McKeown, and H. Zhang, "Is IP going to take over the world (of communications)?," in Proc. ACMCC, Jan. 2003, pp. 113-117.
99. B. Carpenter and S. Brim, Middleboxes: Taxonomy and Issues, Internet Engineering Task Force, RFC 3234, Available: [Online] www.iets.org, Feb. 2002.
100. P. Srisuresh and M. Holdrege, IP Network Address Translator (NAT) Terminology and Considerations, Aug. 1999.
101. T. Hain, Architectural Implications of NAT, Internet RFC 2993, Available: [Online] www.iets.org, Nov. 2000.
102. P. Srisuresh and K. Egevang, Traditional IP Network Address Translator (Traditional NAT), Internet RFC 3022, [Online] Available: www.iets.org, Jan. 2001.
103. M. Holdrege and P. Srisuresh, Protocol Complications With the IP Network Address Translator, Internet RFC 3027, Available: [Online] www.iets.org, Jan. 2001.
104. G. Tsirtsis and P. Srisuresh, Network Address Translation - Protocol Translation (NAT-PT), Internet RFC 2766, [Online] Available: www.iets.org, Feb. 2000.
105. M. Leech, M. Ganis, Y. Lee, R. Kuris, D. Koblas, and L. Jones, SOCKS Protocol Version 5, Internet RFC 1928, [Online] Available: www.iets.org, March 1996.
106. S. Blake, D. Black, M. Carlson, E. Davies, Z. Wang, and W. Weiss, An Architecture for Differentiated Service, Internet RFC 2475, Available: www.iets.org, Dec. 1998.
107. J. Border, M. Kojo, J. Griner, G. Montenegro, and Z. Shelby, Performance Enhancing Proxies Intended to Mitigate Link-Related Degradations, Internet RFC 3135, [Online] Available: www.iets.org, June 2001.
108. N. Freed, Behavior of and Requirements for Internet Fire-Walls, Internet RFC 2979, [Online] Available: www.iets.org, Oct. 2000.
109. B. Cheswick and S. Bellovin, Firewalls and Internet Security: Repelling the Wily Hacker. Reading, MA: Addison-Wesley, 1994.
110. M. Handley, H. Schulzrinne, E. Schooler, and J. Rosenberg, SIP: Session Initiation Protocol, Internet RFC 2543, [Online] Available: www.iets.org, Mar. 1999.
111. F. Cuervo, N. Greene, A. Rayhan, C. Huitema, B. Rosen, and J. Segers, Megaco Protocol 1.0, Internet RFC 3015, [Online] Available: www.iets.org, Nov. 2000.
112. R. Fielding, J. Gettys, J. Mogul, H. Frystyk, L. Masinter, P. Leach, and T. Berners-Lee, Hypertext Transfer Protocol - HTTP/1.1, Internet RFC 2616, [Online] Available: www.iets.org, June 1999.
113. I. Stoica, R. Morris, D. R. Karger, M. F. Kaashoek, and H. Balakrishnan, "Chord: Ascalable peer-to-peer lookup protocol for internet applications," in Proc. ACM SIGCOMM Conf., 2001, pp. 149-160.
114. Application Level Programmable Inter-Network Environment Project Web Page, http://www.cs.ucl.ac.uk/alpine/. [Online]
115. A. Ghosh, M. Fry, and J. Crowcroft, "An architecture for application layer routing," in Proc. 2nd Int. Working Conf. Active Networks, vol. 1942, ser. Lecture Notes in Computer Science, H. Yashuda, Ed., Oct. 2000, pp. 71-86.
116. B. White, J. Lepreau, L. Stoller, R. Ricci, S. Guruprasad, M. Newbold, M. Hibler, and C. Barb, "An integrated experimental environment for distributed systems and networks," in Proc. USENIX OSDI Conf., Dec. 2002, pp. 255-270.
117. J. Touch, "Dynamic internet overlay deployment and management using the x-bone," Comput. Networks, pp. 117-135, July 2001.
118. L. Peterson, T. Anderson, D. Culler, and T. Roscoe, "A blueprint for introducing disruptive technology into the internet," in Proc. ACM CCR, Jan. 2003, pp. 59-64.
119. I. Stoica, D. Adkins, S. Zhuang, S. Shenker, and S. Surana, "Internet indirection infrastructure," in ACM SIGCOMM Conf., 2002, pp. 10-20.
120. A. Keromytis, V. Misra, and D. Rubenstein, "SOS: Secure overlay services," in Proc. ACM SIGCOMM Conf., 2002, pp. 20-30.
121. Embedded, Everywhere: A Research Agenda for Networked Systems of Embedded Computers. Washington, DC: Nat. Acad. Press, 2001.
122. IETF Forwarding Control Element Separation Working Group Home Page. [Online]. Available: http://www.ietf.org/html.charters/forces-charter.html
123. C. Partridge, A. Snoeren, T. Strayer, B. Schwartz, M. Condell, and I. Castineyra, "FIRE: Flexible intra-AS routing environment," in Proc. ACM SIGCOMM Conf., 2000, pp. 191-203.
124. A. Galis, B. Plattner, J. Smith, S. Denazis, E. Moeller, H. Guo, C. Klein, J. Serrat, J. Laarhuis, G. Karetsos, and C. Todd, "A flexible IP active networks architecture," in Proc. 2nd IWAN, H. Yasuda, Ed., 2000, pp. 1-15.
125. S. Savage, D. Wetherall, A. R. Karlin, and T. Anderson, "Practical support for IP traceback," in Proc. ACM SIGCOMM Conf., 2000, pp. 295-306.
126. A. C. Snoeren, C. Partridge, L. A. Sanchez, C. E. Jones, F. Tchakuontio, S. T. Kent, and W. T. Strayer, "Hash-based IP traceback," in Proc. ACM SIGCOMM Conf., 2001, pp. 3-14.
127. J. Mitola III, "Software radios," in Proc. IEEE National Telesystems Conf., May 1992.
128. V. Bose, "Virtual Radios," Ph.D. dissertations, Mass. Inst. Technol., Cambridge, MA, 1999.
129. F.-M. A. (Italian proverb 'La meglio e l'inimico del bene') Voltaire, Contes, 1772.