- Computational thinking and thinking about computing
- Confidentiality Policies and Their Extraction from Programs Michael Carl Tschantz Jeannette M. Wing
- Specification Matching of Software AMY MOORMANN ZAREMSKI
- Lecture Notes in Computer Science 1709 Edited by G. Goos, J. Hartmanis and J. van Leeuwen
- Experience with the Larch Prover Jeannette M. Wing and Chun Gong
- Programming at the Processor-Memory-Switch Level M.R. Barbacci1y2, C.B. Weinstockl, and J.M. Wing2
- # $ % & & $ ' ' $ ( ) 0 1 & 2 3 4 5 6 7 ' $ 8 9 @ 1 $ & @ $ A $ 6 % 8 ' 5 $ & '
- Signature Matching: A Key to Reuse Amy Moormann Zaremski and Jeannette M. Wing
- Raw Code, Specification, and Prooft of the Avalon Queue Example
- Measuring a System's Attack Surface Pratyusa Manadhata
- The Avalon/C++ Programming Language (Version O) Jeannette M. Wing, Maurice Herlihy, Stewart Clamen,
- Larch: Languages and Tools for Formal Specification
- Respectful Type Converters for Mutable Types Jeannette M. Wing and John Ockerbloom
- A Symbiotic Relationship Between Formal Methods and Security Jeannette M. Wing"
- FORMAL SEMANTICS FOR VISUAL SPECIFICATION
- file server workstation
- ! " # $ % & ' ( ) 0 1 2 3 & & 4 ! 5 6 7 7 8
- Formal Aspects of Computing (1999) 11: 591615 c 1999 BCS Formal Aspects
- Specification Matching of Software Components Amy Moormann Zaremski and Jeannette M. Wing
- Signature Matching: A Tool for Using Software Libraries
- Developing Applications for Heterogeneous
- Writing Larch Interface Language Specifications
- Science of Computer Programming 2 (1982) 53-68 53 North-Holland Publishing Company
- Formal Methods for Privacy Michael Carl Tschantz and Jeannette M. Wing
- Ranking Attack Graphs Vaibhav Mehta, Constantinos Bartzis, Haifeng Zhu,
- Book Editors IOS Press, 2003
- TOWARDS A SCIENCE OF SURVIVABILITY: A Research Agenda and a Specific Method
- Survivability Analysis of Network Specifications S. Jhay J. Wingy R. Lingerz T. Longstaffz
- Formal Aspects of Computing (1998) 10: 5975 c 1998 BCS Formal Aspects
- Fast, Automatic Checking of Security Protocols Darrell Kindred Jeannette M. Wing
- Software Engineering Institute Technical Report
- A Larch Specification of the Library Problem Jeannette M. Wing
- Usable Verification: Balancing Thinking and Automating Jeannette M. Wing
- Understanding Network Complexity Jeannette M. Wing
- Software Security Jeannette M. Wing
- Int J Softw Tools Technol Transfer (2003) 4: 261265 / Digital Object Identifier (DOI) 10.1007/s10009-002-0105-2 The opinion corner
- Closing the Idealization Gap with Theory Generation
- Linearizab|e Concurrent Objects Maur~ce p. Heriihy and JeannetIc M. Wing1
- Measuring a System's Attack Surface Pratyusa Manadhata Jeannette M. Wing
- Verifiable Secret Redistribution for Threshold Sharing Schemes We present a new protocol for the verifiable redistribution of secrets from (m,n) to (m,n ) access
- A Simulator for Concurrent Objects Jeannette M. Wing and Chun Gong
- CMU-CS-86-176 Durra: A Task-level Description Language
- CMU-CS-85-144 GEOMETRIC REASONING
- A Library of Concurrent Objects and Their Proofs of Correctness Chun Gong and Jeannette M. Wing
- Measuring Relative Attack Surfaces Michael Howard, Jon Pincus, and Jeannette M. Wing
- Weaving Formal Methods into the Undergraduate Computer Science Curriculum
- Lecture Notes in Computer Science 1708 Edited by G. Goos, J. Hartmanis and J. van Leeuwen
- Hints to Speci ers Jeannette M. Wing
- Scenario Graphs Applied to Network Security Jeannette M. Wing
- Respectful Type Converters Jeannette M. Wing, Senior Member, IEEE, and John Ockerbloom
- Axioms for Concurrent Objects Maurice P. Herlihy
- Composing First-Class Transactions NICHOLAS HAINES, DARRELL KINDRED, J, GREGORY MORRISETT,
- Tools for Generating and Analyzing Attack Graphs Oleg Sheyner1
- Reasoning About Atomic Objects Maurice P. Herllhy and Jeannette M. Wing
- Results of SEI Independent Research and Development Projects
- Measuring the Attack Surfaces of Two FTP Daemons Pratyusa K. Manadhata, Jeannette M.
- Specifications and Their Use in Defining Subtypes Barbara Liskov Jeannette M. Wing
- Proceedings of the 2002 IEEE Symposium on Security and Privacy (S&P'02) 1081-6011/02 $17.00 2002 IEEE
- A Behavioral Notion of Subtyping BARBARAH. LISKOV
- MEASURING RELATIVE ATTACK SURFACES Michael Howard
- Verifiable Secret Redistribution for Threshold Sharing Schemes
- On the Horizon Editors: Nancy R. Mead, nrm@sei.cmu.edu
- Towards an Algebra for Security Policies (Extended Abstract)
- Formal Methods for Privacy Michael Carl Tschantz
- Report: Measuring the Attack Surfaces of Enterprise Software
- Unintrusive Ways to Integrate Formal Specifications in Jeannette M. Wing and Amy Moormann Zaremski
- Technical Report CMU/SEI-89-TR-034
- T-SEll 5/2//25084 Extending lna Jo with Temporal Logic
- DRAFT --submitted to TOPLAS 7/99 Theory Generation for Security Protocols
- In Bulletin of Specif, December 2008 La pense informatique
- Using Belief to Reason About Cache Coherence L. Mummert, J.M. Wing, and M. Satyanarayanan
- Verifiable Secret Redistribution for Archive Systems Theodore M. Wong Chenxi Wang Jeannette M. Wing
- Mathematics in Computer Science School of Computer Science
- Towards a Theory of Trust in Networks of Humans and Computers
- Presented at the 19th International Workshop on Security Protocols, Cambridge, UK, March 28-30, 2011 (to appear in LNCS, Springer Verlag)
- Formalizing and Enforcing Purpose Restrictions in Privacy Policies Michael Carl Tschantz
- Formalizing and Enforcing Purpose Restrictions in Privacy Policies (Full Version)
