- Toward Models for Forensic Analysis Sean Peisert # Matt Bishop + Sidney Karin Keith Marzullo
- THE TRANSFER OF INFORMATION AND AUTHORITY IN A PROTECTION SYSTEMS
- The Strategy and Tactics of Information Warfare
- Defining the Insider Threat Matt Bishop
- n the United States in the late 19th century, when desperadoes rampaged through the Wild West,
- Panel Moderator: Michael Clifford Associate Member of the Technical Staff, The Aerospace Corporation
- s the Internet has become pervasive and our critical infra-structures have become inextricably tied to information
- How To Write a Setuid Program Matt Bishop
- Traducement: A Model for Record Security TOM WALCOTT and MATT BISHOP
- Virtualization 32 PUBLISHED BY THE IEEE COMPUTER SOCIETY # 15407993/08/$25.00 2008 IEEE # IEEE SECURITY & PRIVACY
- Anatomy of a Proactive Password Changer Matt Bishop
- Position: "Insider" is Relative Matt Bishop
- File Protection in UNIX Matt Bishop
- Computer Networks 33 (2000) 7793 www.elsevier.com/locate/comnet
- This work explores issues of computational disclosure control. We examine assumptions in the foundations of traditional problem
- Calls for more education in
- WETICE 2006 Eleventh Securities Technologies (ST) Workshop Report
- Modeling Network Intrusion Detection Alerts for Correlation
- AUDITING FILES ON A NETWORK OF UNIX MACHINES Matt Bishop, Dartmouth College
- Quis Custodiet ipsos Custodes? A New Paradigm for Analyzing Security Paradigms
- Computer Forensics In Forensis Sean Peisert and Matt Bishop
- How to Design Computer Security Experiments Sean Peisert1
- Array Names and Pointers Matt Bishop
- We Have Met the Enemy and He Is Us Matt Bishop, Sophie Engle,
- Privacy Aware Data Sharing: Balancing the Usability and Privacy of Datasets
- Teaching Computer Security Matt Bishop
- An "open system" is one which an be extended or adapted by users writing their own com-mands, or altering parts of programs traditionally seen as part of the operating system, such as
- Proceedings of the 13 th Colloquium for Information Systems Security Education Seattle, WA June 1 3, 2009
- Vote Selling, Voter Anonymity, and Forensic Logging of Electronic Voting Machines
- Building Security In Editors: John Steven, jsteven@cigital.com
- Editors: Matt Bishop, bishop@cs.davis.edu Deborah Frincke, deborah.frincke@pnl.gov
- Proceedings of the 19th National Information Systems Page 1 of 9 Security Confertence 349 360 (O t 1996)
- A STANDARD AUDIT TRAIL FORMAT Matt Bishop
- Development of a Software SecurityAssessment Instrument to Reduce Software SecurityRisk
- data upon which they act. In November 2005, Sony BMG
- POSITION PAPER SUBMITTED TO NIST FVAP EAC UOCAVA SUMMIT Essential Baseline Research for UOCAVA-MOVE Act
- Trnum -A Program To Number Figures Matt Bishop
- The Security and Privacy Implications of Using Social Networks to Deliver Healthcare
- Editors: Matt Bishop, bishop@cs.ucdavis.edu Deborah A. Frincke, deborah.frincke@pnl.gov
- While many fields have welldefined research agendas, evolution of the field of digital forensics has
- Education in information Matt Bishop, University of California, Davis
- Proceedings of the 19th National Information Systems Page 1 of 9 Security Confertence pp. 349--360 (Oct. 1996)
- Editors: Matt Bishop, bishop@cs.davis.edu Deborah Frincke, deborah.frincke@pnl.gov
- data upon which they act. In November 2005, Sony BMG
- File Protection in UNIX Matt Bishop
- How Useful Is Software Fault Injection for Evaluating the Security of COTS Panel Moderator: Jim R ynolds, T knowl dg
- Appeared in Journal of Computer Security 3 (4) pp. 283309 (1994/1995). Page 1 of 32 Theft of Information in the TakeGrant Protection Model
- A s the Internet has become pervasive and our critical infra structures have become inextricably tied to information
- Storage In C Matt Bishop
- USENIX Association Proceedings of the
- Toward Models for Forensic Analysis Sean Peisert
- Vote Selling, Voter Anonymity, and Forensic Logging of Electronic Voting Machines
- ACM SIGSOFT Software Engineering Notes vol 22 no 4 July 1997 Page 74 Property-Based Testing; A New Approach
- Addressing Software Security and Mitigations in the Life Cycle David Gilliam & John Powell
- Editors: Matt Bishop, bishop@cs.davis.edu Deborah Frincke, Deborah.frincke@pnl.gov
- 120 November 2007/Vol. 50, No. 11 COMMUNICATIONS OF THE ACM E lectronic voting has spread throughout the
- MATT BISHOP University of
- Using Type Qualifiers to Analyze Untrusted Integers and Detecting Security Flaws in C Programs
- Testing C Programs for Buffer Overflow Vulnerabilities haugh@cs.ucdavis.edu
- Appeared in Journal of Computer Security 3 (4) pp. 283-309 (1994/1995). Page 1 of 32 Theft of Information in the Take-Grant Protection Model
- Analyzing single-server network inhibition Tuomas Aura
- Anatomy of a Proactive Password Changer Matt Bishop
- Panel: Teaching Undergraduate Information Matt B shop
- Building Security In dit r n Ste en te en cigit l c
- Defining the Insider Threat Matt Bishop
- Computing Systems 9(2) pp. 131152 (Spring 1996). Page 1 of 20 Checking for Race Conditions in File Accesses
- An Analysis of the Hart Intercivic DAU eSlate Elliot Proebstel
- How Useful Is Software Fault Injection for Evaluating the Security of COTS Panel Moderator: Jim Reynolds, Teknowledge
- POSITION PAPER SUBMITTED TO NIST --FVAP --EAC UOCAVA SUMMIT Essential Baseline Research for UOCAVAMOVE Act
- Editors: Matt Bishop, bishop@cs.davis.edu Deborah Frincke, deborah.frincke@pnl.gov
- Ten Years Past and Ten Years from Now Matt Bishop
- Hierarchical Take-Grant Protection Systems Matt Bishop
- ACM Journal of Educational Resources in Computing, Vol. 6, No. 3, September 2006. Article 3. This article investigates teaching the application of technical ideas by nontechnical means, especially by using
- Reflections on the 30th Anniversary of the IEEE Symposium on Security and Privacy
- Traducement: A Model for Record Security TOM WALCOTT and MATT BISHOP
- Computer Forensics In Forensis Sean Peisert
- P Prrooffiilliinngg uunnddeerr UUNNIIXX bbyy PPaattcchhiinngg Matt Bishop
- AZALIA: an A to Z Assessment of the Likelihood of Insider Attack
- Computer Forensics In Forensis # Sean Peisert + and Matt Bishop #
- Investigating the Implications of Virtual Machine Introspection for Digital Forensics
- Editors: Matt Bishop, bishop@cs.davis.edu Deborah Frincke, deborah.frincke@pnl.gov
- Computer Networks 33 (2000) www.elsevier.com/locate/comnet
- Using Conservation of Flow as a Security Mechanism in Network Protocols John R. Hughes, Tuomas Aura, Matt Bishop
- Case Studies of an Insider Framework Matt Bishop, Sophie Engle,
- Virtualization 32 Published by the ieee ComPuter soCiety 1540-7993/08/$25.00 2008 ieee ieee seCurity & PrivaCy
- Panel Moderator: Michael Clifford Associate Member of the Technical Staff, The Aerospace Corporation
- E-Voting and Forensics: Prying Open the Black Box Matt Bishop and Sean Peisert
- Case Studies of an Insider Framework Matt Bishop, Sophie Engle,
- THE STATE OF INFOSEC EDUCATION IN ACADEMIA: PRESENT AND FUTURE Matt Bishop
- Balancing the needs of a data analyst with the pri-vacy needs of a data provider is a key issue when data is
- An Exploration of the Current State of Information Assurance Education
- Security Verification Techniques Applied to PatchLink COTS Software David P. Gilliam 1 , J hn D. P well 1 , Matt Bish p 2 , Chris Andrew 3 , and Sameer J g 3
- The Security and Privacy Implications of Using Social Networks to Deliver Healthcare
- Ten Years Past and Ten Years from Now Matt Bishop
- An Exploration of the Current State of Information Assurance Education
- Some "Secure Programming" Exercises for an Introductory Programming Class
- Proceedings of the 13th Colloquium for Information Systems Security Education
- AZALIA: an A to Z Assessment of the Likelihood of Insider Attack
- Investigating the Implications of Virtual Machine Introspection for Digital Forensics
- 22 PublishedbytheieeeComPutersoCiety1540-7993/08/$25.002008ieeeieeeseCurity&PrivaCy thedynamicsofCounting
- 120 November 2007/Vol. 50, No. 11 COMMUNICATIONS OF THE ACM lectronic voting has spread throughout the
- Editors: Matt Bishop, bishop@cs.ucdavis.edu Deborah A. Frincke, deborah.frincke@pnl.gov
- Dependable Security: Testing Network Intrusion Detection Systems Carrie Gates Carol Taylor Matt Bishop
- E-Voting as a Teaching Tool Matt Bishop
- n elections throughout the U.S., electronic voting
- MATT BISHOP University of
- ACM Journal of Educational Resources in Computing, Vol. 6, No. 3, September 2006. Article 3. Teaching Context in Information Security
- Using Type Qualifiers to Analyze Untrusted Integers and Detecting Security Flaws in C Programs
- Security Verification Techniques Applied to PatchLink COTS Software David P. Gilliam1
- WETICE 2006 Eleventh Securities Technologies (ST) Workshop Report
- Editors: Matt Bishop, bishop@cs.davis.edu Deborah Frincke, deborah.frincke@pnl.gov
- TEACHING CONTEXT IN INFORMATION SECURITY Matt Bishop
- Addressing Software Security and Mitigations in the Life Cycle David Gilliam & John Powell
- Software Security Checklist for the Software Life Cycle David P. Gilliam, Thomas L. Wolfe, Josef S. Sherif
- Calls for more education in
- Education in information Matt Bishop, University of California, Davis
- The cry of "we need more, and better, com-puter security education" is now rampant.
- Appeared in Journal of Computer Security 4 (4) pp. 331-359 (1996). Page 1 of 33 Conspiracy and Information Flow in the Take-Grant
- Proceedings of the 19th National Information Page 1 of 8 Systems Security Conference pp. 371377 (Oct. 1996)
- Teaching Computer Security Matt Bishop
- A Security Analysis of the NTP Protocol Version 2 Matt Bishop
- Storage In C Matt Bishop
- How To Write a Setuid Program Matt Bishop
- Analyzing the Security of an Existing Computer System Matt Bishop
- Trnum -A Program To Number Figures Matt Bishop
- Matt Bishop Department of Mathematics and Computer Science
- Portability in C --A Case Study Matt Bishop
- Proceedings of the 19th National Information Page 1 of 8 Systems Security Conference pp. 371--377 (Oct. 1996)
- Quis Custodiet ipsos Custodes? A New Paradigm for Analyzing Security Paradigms
- Computer Forensics In Forensis Sean Peisert and Matt Bishop
- that glue these systems together must not fail, or computers will no longer
- This work explores issues of computational disclosure control. We examine assumptions in the foundations of traditional problem
- Edito att i o i o c ucda i du nt ia in i in n du
- Some Problems in Sanitizing Network Data Matt Bishop, Rick Crawford, Bhume Bhumiratana, Lisa Clark, Karl Levitt
- Modeling Network Intrusion Detection Alerts for Correlation
- Panel: Teaching Undergraduate Information Matt Bishop
- Journal of Internetworking: Research and Experience 4 (1) pp. 47-59 (Mar. 1993) Page 1 of 16 Recent Changes to Privacy Enhanced Electronic Mail
- Journal of Internetworking: Research and Experience 4 (1) pp. 4759 (Mar. 1993) Page 1 of 16 Recent Changes to Privacy Enhanced Electronic Mail
- TEACHING CONTEXT IN INFORMATION SECURITY Matt Bishop
- Analyzing singleserver network inhibition Tuomas Aura
- We Have Met the Enemy and He Is Us Matt Bishop, Sophie Engle,
- Privacy Aware Data Sharing: Balancing the Usability and Privacy of Datasets
- Digital Forensics: Defining a Research Agenda Department of Computer Science
- Analysis of Computer Intrusions Using Sequences of Function Calls
- The cry of ``we need more, and better, com puter security education'' is now rampant.
- Dependable Security: Testing Network Intrusion Detection Systems Carrie Gates Carol Taylor Matt Bishop
- Michael Clifford Dept. of Computer Science
- Editors: Matt Bishop, bishop@cs.davis.edu Deborah Frincke, deborah.frincke@pnl.gov
- Modeling and Analyzing Faults to Improve Election Process Robustness
- Software Security Checklist for the Software Life Cycle David P. Gilliam, Thomas L. Wolfe, Josef S. Sherif
- Appeared in Journal of Computer Security 4 (4) pp. 331359 (1996). Page 1 of 33 Conspiracy and Information Flow in the TakeGrant
- An Analysis of the Hart Intercivic DAU eSlate Elliot Proebstel # Sean Riddle # Francis Hsu # Justin Cummins #
- USENIX Association Proceedings of the
- Modeling and Analyzing Faults to Improve Election Process Robustness
- Using Conservation of Flow as a Security Mechanism in Network Protocols John R. Hughes, Tuomas Aura, Matt Bishop
- Balancing the needs of a data analyst with the pri vacy needs of a data provider is a key issue when data is
- Reducing Software Security Risk through an Integrated Approach David P. Gilliam
- Introduction description,
- I n elections throughout the U.S., electronic voting
- Michael Clifford Dept. of Computer Science
- Reflections on the 30th Anniversary of the IEEE Symposium on Security and Privacy
- Reducing Software Security Risk through an Integrated Approach David P. Gilliam
- 22 PUBLISHED BY THE IEEE COMPUTER SOCIETY # 15407993/08/$25.00 2008 IEEE # IEEE SECURITY & PRIVACY The Dynamics of Counting
- Analysis of Computer Intrusions Using Sequences of Function Calls
- How to Design Computer Security Experiments Sean Peisert 1 and Matt Bishop 2
- PPrrooffiilliinngg uunnddeerr UUNNIIXX bbyy PPaattcchhiinngg Matt Bishop
- UNIX Security in a Supercomputing Environment Matt Bishop*
- that glue these systems together must not fail, or computers will no longer
- Workshop on Education in Computer Security Page 1 Computer Security in Introductory Programming Classes
- Editors: Matt Bishop, bishop@cs.ucdavis.edu Cynthia Irvine, irvine@nps.edu
- Editors: Matt Bishop, bishop@cs.davis.edu Deborah Frincke, Deborah.frincke@pnl.gov
- EVoting as a Teaching Tool Matt Bishop
- Computing Systems 9(2) pp. 131--152 (Spring 1996). Page 1 of 20 Checking for Race Conditions in File Accesses
- Testing C Programs for Buffer Overflow Vulnerabilities haugh@cs.ucdavis.edu
- Inconsistency in Deception for Defense Vicentiu Neagoe, Matt Bishop
- Network-Theoretic Classification of Parallel Computation Patterns
- 56 COPUBLISHEDBYTHEIEEECOMPUTERANDRELIABILITYSOCIETIES1540-7993/10/$26.002010IEEEMAY/JUNE2010 Editors: Matt Bishop, bishop@cs.ucdavis.edu
- Multi-Stage Delivery of Malware Marco Ramilli
- Editors: Matt Bishop, bishop@cs.ucdavis.edu Cynthia Irvine, irvine@nps.edu
- Storm Clouds Rising: Security Challenges for IaaS Cloud Computing
- Relationships and Data Sanitization: A Study in Scarlet Matt Bishop
- Computers b Security, 14 (1995) 233-249 0167-4048(95)00003-8
- Multiprocess Malware Marco Ramilli
- Digital Forensics 30 COPublished by the ieee COmPuter and reliability sOCieties 1540-7993/09/$25.00 2009 ieee marCh/aPril 2009
- Basic Training Editors: Deb Frincke, Deborah.frincke@pnl.gov
- ; LOGIN : DECEMBER 2010 CONFERENCE REPORTS 117 New Security Paradigms Workshop (NSPW 2010)
- Proceedings of the 7th World Conference on Information Security Education
- NetworkTheoretic Classification of Parallel Computation Patterns
- Relationships and Data Sanitization: A Study in Scarlet Matt Bishop
- Basic Training Editors: Deb Frincke, Deborah.frincke@pnl.gov
- The Sisterhood of the Traveling Packets Matt Bishop
- Editors: Matt Bishop, bishop@cs.ucdavis.edu Cynthia Irvine, irvine@nps.edu
- ResultsOriented Security Matt Bishop
- Multiprocess Malware Marco Ramilli
- Digital Forensics 30 COPUBLISHED BY THE IEEE COMPUTER AND RELIABILITY SOCIETIES # 15407993/09/$25.00 2009 IEEE # MARCH/APRIL 2009
- ; LOG I N : DECEMBER 2010 CONFERENCE REPORTS 117 New Security Paradigms Workshop (NSPW 2010)
- Applying Formal Methods Informally# Matt Bishop Brian Hay Kara Nance
- MultiStage Delivery of Malware Marco Ramilli
- Robust Programming by Example Matt Bishop 1 and Chip Elliott 2
- 56 COPUBLISHED BY THE IEEE COMPUTER AND RELIABILITY SOCIETIES # 15407993/10/$26.00 2010 IEEE # MAY/JUNE 2010 Editors: Matt Bishop, bishop@cs.ucdavis.edu
- Trust of Medical Devices, Applications, and Users in Pervasive Healthcare
- One of These Records Is Not Like the Others Carrie Gates
- Strong Mobile Device Protection from Loss and Capture Zhengyi Le 1 Matt Bishop 2 Fillia Makedon 1
- Hidden Markov Models for Automated Protocol Learning
- Proceedings of the 44th Hawaii International Conference on System Sciences 2011 15301605/11 $26.00 2011 IEEE
- Proceedings of the 7 th World Conference on Information Security Education 910 June 2011, Lucerne, Switzerland
- Results-Oriented Security Matt Bishop
- One of These Records Is Not Like the Others Carrie Gates
- Applying Formal Methods Informally! Matt Bishop Brian Hay Kara Nance
- Strong Mobile Device Protection from Loss and Capture Zhengyi Le1
- The Sisterhood of the Traveling Packets Matt Bishop
- Hidden Markov Models for Automated Protocol Learning
- January 2011, Volume 3, Number 1 (pp. 3--27) http://www.isecurejournal.org
- Attribution Requirements for Next Generation Jeffrey Hunker
- Resilience is More than Availability Matt Bishop
- Facebook Goes to the Doctor Matt Bishop
- Attribution Requirements for Next Generation Jeffrey Hunker
- Resilience is More than Availability Matt Bishop
- Facebook Goes to the Doctor Matt Bishop
- The ISC Int'l Journal of Information Security
