Bibliography Readings/Notes
Players in Trustworthy Computing

orcmid.github.io> bib>2002>

visits to **Orcmid on GitHub**

r020100a>
0.1.0 2023-10-23 16:30

As Bill Anderson and I work our way through the tenets and context of Trustworthy Computing, I want to develop a profile of the key players and their organizations. This is partly to understand where the authorities on the subject are situated and what their relationships and influences are. It is also to identify the community that we wish to consult and associate ourselves with.

This pages captures names of people and organizations as they come up in our readings/researches.

-- Dennis E. Hamilton
2002 February 2

People

Anderson, Stuart.: investigator whose work is studied in [MacKenzie2001]
Appel, Kenneth: acknowledged in [MacKenzie2001]; illustration provided
Bechhofer, Frank.: A director of Edinburgh University's Research Centre for Social Sciences.
Bijker, Wiebe.: acknowledged in [MacKenzie2001]
Bloor, David: acknowledged in [MacKenzie2001]
Boehm, Barry: illustration acknowledged in [MacKenzie2001]
Bonin, Doug: illustration acknowledged in [MacKenzie2001]
Boyer, Bob: acknowledged in [MacKenzie2001]
Boyer, Doug: Director of Microsoft Windows Security Group
Bryant, Randal: illustration acknowledged in [MacKenzie2001]
Bundy, Alan.: investigator whose work is studied in [MacKenzie2001]
Carré, Bernard.: investigator whose work is studied in [MacKenzie2001]
Constable, Bob: acknowledged in [MacKenzie2001]
Corwine, Matt: co-author of Microsoft Trustworthy Computing white paper
DeMillo, Richard: acknowledged in [MacKenzie2001]
de Vries, Pierre: co-author of Microsoft Trustworthy Computing white paper.

Dijkstra, Edsger W.: acknowledged in [MacKenzie2001]; illustration provided
1. proponent of computer-science approach to software crisis, late 60's club
2. wanted to take programming out of the middle ages.
Epple, Moritz: acknowledged in [MacKenzie2001]
Floyd, Robert W.: proponent of computer-science approach to software crisis, late 60's club.
1. Student James King produces the first automated system for applying proofs to programs.
Fritsch, Rudolf: acknowledged in [MacKenzie2001]
Gerhart, Susan: acknowledged in [MacKenzie2001]
Gordon, Mike: acknowledged in [MacKenzie2001]
Haken, Wolfgang: acknowledged in [MacKenzie2001]; illustration provided
Hales, Tom: illustration acknowledged in [MacKenzie2001]
Harrison, John: acknowledged in [MacKenzie2001]
Hayes, Pat: acknowledged in [MacKenzie2001]
Haynes, Peter: co-author of Microsoft Trustworthy Computing white paper
Hoare, C.A.R (Tony): acknowledged in [MacKenzie2001]
1. proponent of computer-science approach to software crisis, late 60's club
Howard, Michael: 1. Computer Security at Microsoft, developed course used in upgrading Microsoft teams, 1Q2002
these were half-day courses with 1000 people at a time. On April 8, I noted that 9000 developers had been trained so far.
2. co-author of Writing Secure Code.
Jones, Roger: acknowledged in [MacKenzie2001]
Kajiya, Jim.: Microsoft researcher quoted in Trustworthy Computing white paper.
King, James: student of Robert Floyd
produced first automated system for applying proof to programs, in 1969.
Koch, John: illustration acknowledged in [MacKenzie2001]
Kusch, Martin: acknowledged in [MacKenzie2001]
Lamport, Leslie: acknowledged in [MacKenzie2001]
Landwehr, Carl: acknowledged in [MacKenzie2001]
LaPadula, Leonard: illustration acknowledged in [MacKenzie2001]
LeBlanc, David: co-author of Writing Secure Code.
Lipner, Steven B.: Microsoft Director of Security Assurance
MacKenzie, Donald A.: Social scientist in the Department of Sociology at the University of Edinburgh. Author of Mechanizing Proof: Computing, Risk, and Trust [MacKenzie2001].
Mahoney, Mike: acknowledged in [MacKenzie2001]
Martin, Ursula: acknowledged in [MacKenzie2001]
McCarthy, John: computer scientist and artificial intelligence pioneer
1. proponent of computer-science approach to software crisis, late 60's club
McCullough, Daryl: illustration acknowledged in [MacKenzie2001]
McLean, John: acknowledged in [MacKenzie2001]
Mills, Harlan D.: director of software engineering at IBM Federal Systems Division
saw proof of programs as a human activity that could lead only to "subjective conviction."
Milner, Robin: acknowledged in [MacKenzie2001]
Moore, J. Strother: acknowledged in [MacKenzie2001]
Mundie, Craig: senior Vice President and Chief Technology Officer, Advanced Strategies and Planning, Microsoft Corporation. co-author of Microsoft Trustworthy Computing white paper, January 31, 2002.
Naur, Peter: illustration acknowledged in [MacKenzie2001]
1. proponent of computer-science approach to software crisis, late 60's club
2. Editor of the ALGOL 60 report.
Paláez, Eloína.: cited in [MacKenzie2001] Acknowledgments for thesis that sparked MacKenzie's interest: A Gift From Pandora's Box: The Software Crisis. Ph.D. thesis, University of Edinburgh, 1988.
Pinch, Trevor: acknowledged in [MacKenzie2001]
Pollack, Randy: acknowledged in [MacKenzie2001]
Pottinger, Garrel.: interviewer cited in [MacKenzie2001] Acknowledgments for joint article with MacKenzie and carrying out interviews for Chapter 5.
Prawitz, Dag: acknowledged in [MacKenzie2001]
Ranicki, Andrew: acknowledged in [MacKenzie2001]
Robertson, Neil: acknowledged in [MacKenzie2001]
Robinson, Alan: acknowledged in [MacKenzie2001]
Rushby, John: acknowledged in [MacKenzie2001]
Sannella, Don: acknowledged in [MacKenzie2001]
Schell, Roger G.: illustration acknowledged in [MacKenzie2001]
Schwartz, Richard: acknowledged in [MacKenzie2001]
Shankar, Natarajan: acknowledged in [MacKenzie2001]
Shostak, Rob: acknowledged in [MacKenzie2001]
Simon, Herbert A.: acknowledged in [MacKenzie2001]; illustration provided
Stenning, Keith: acknowledged in [MacKenzie2001]
Stirling, Colin: acknowledged in [MacKenzie2001]
Swart, Edward: acknowledged in [MacKenzie2001]
Turkle, Sherry: acknowledged in [MacKenzie2001]
Valentine, Sam: acknowledged in [MacKenzie2001]
Ware, Willis A.: illustration acknowledged in [MacKenzie2001]
Weiss, Martina: acknowledged in [MacKenzie2001]
Williams, Robin.: A director of Edinburgh University's Research Centre for Social Sciences.
Williamson, Tim.: acknowledged in [MacKenzie2001]

Places and Institutions

Edinburgh, University of: Department of Social Sciences and the Research Center for Social Sciences under the direction of Frank Bechhofer and Robin Williams, are the location for the research work carried out by Donald MacKenzie and his colleagues.
Harvard University: Department of the History of Science. Visited by Donald MacKenzie in part of his writing work on [MacKenzie2001]
U.K. Economic and Social Research Council.: 1. provided grants for the work of Donald McKenzie in producing [MacKenzie2001]:
R000234031: Studies in the Sociology of Proof
2. Programme on Information and Communication Technologies
U.K. Science and Engineering Research Council.: Joint program with U.K. Economic and Social Research Council.
U.K. Engineering and Physical Sciences Research Council (EPSRC): Grants to MacKenzie.
DIRC: Interdisciplinary Research Collaboration on the Dependability of Computer-Based Systems.

References

[MacKenzie1998]: MacKenzie, Donald A. Computers and the Sociology of Mathematical Proof. Prepared for Northern Formal Methods Workshop, Ilkley, September 1998. Edinburgh University Department of Sociology. Published on-line.
[MacKenzie2001]: MacKenzie, Donald A. Mechanizing Proof: Computing, Risk, and Trust. MIT Press (Cambridge, MA: 2001). Inside Technology Series. ISBN 0-262-13393-8 hard cover, alkaline paper.

You are navigating Orcmid on GitHub

created 2002-02-03T06:42Z by orcmid