Jim Alves-Foss

发表

On Designing an ACL2-Based C Integer Type Safety Checking Tool

Kevin Krause, Jim Alves-Foss, 2013, NASA Formal Methods.

Mutual authenticating protocol with key distribution in client/server environment

Jim Alves-Foss, Charles Cavaiani, 1996, CROS.

Specification and Verification of Secure Concurrent and Distributed Software Systems

Deborah A. Frincke, Karl N. Levitt, Jim Alves-Foss, 1992 .

Using ACL2 to Verify Security Properties of Specification- based Intrusion Detection Systems

Cui Zhang, Karl N. Levitt, Jim Alves-Foss, 2003 .

Experiments in the use of XML to enhance traceability between object-oriented design specifications and source code

Jim Alves-Foss, Paul W. Oman, Daniel Conte de Leon, 2002, Proceedings of the 35th Annual Hawaii International Conference on System Sciences.

Assessing computer security vulnerability

Jim Alves-Foss, Salvador Barbosa, J. Alves-Foss, 1995, OPSR.

Shortening the Boot Time of Android OS

Nan Sang, Jim Alves-Foss, Xia Yang, 2014, Computer.

The construction of secure mobile agents via evaluating encrypted functions

Jim Alves-Foss, Scott Harrison, Hyungjick Lee, 2004, Web Intell. Agent Syst..

Provably Insecure Mutual Authentication Protocols: The Two-Party Symmetric-Encryption Case

Jim Alves-Foss, J. Alves-Foss, 1999 .

Attack recognition for system survivability: a low-level approach

Jim Alves-Foss, Carol Taylor, J. Alves-Foss, 2003, 36th Annual Hawaii International Conference on System Sciences, 2003. Proceedings of the.

Security policy refinement and enforcement for the design of multi-level secure systems

Jie Zhou, Jim Alves-Foss, 2008, J. Comput. Secur..

An empirical analysis of NATE: Network Analysis of Anomalous Traffic Events

Jim Alves-Foss, Carol Taylor, 2002, NSPW '02.

Cryptographic Protocol Engineering-Building Security from the Ground Up

Jim Alves-Foss, 2000, International Conference on Internet Computing.

Covert timing channel analysis in mls real-time systems

Jim Alves-Foss, Joon Son, 2008 .

The Effect of Rebalancing on the Performance of a Group Key Agreement Protocol

Jim Alves-Foss, Shanyu Zheng, Stephen S. Lee, 2006, Proceedings. 2006 31st IEEE Conference on Local Computer Networks.

Experiments on processing and linking semantically augmented requirement specifications

Jim Alves-Foss, Daniel Conte de Leon, D. Leon, 2004, 37th Annual Hawaii International Conference on System Sciences, 2004. Proceedings of the.

Introduction to Software Cybersecurity, Assurance, and Testing Minitrack

Jim Alves-Foss, Richard C. Linger, Luanne Burns Goldrich, 2013, 2013 46th Hawaii International Conference on System Sciences.

The architecture of secure systems

Jim Alves-Foss, 1998, Proceedings of the Thirty-First Hawaii International Conference on System Sciences.

Security Policy Development: Towards a Life-Cycle and Logic-Based Verification Model

Jim Alves-Foss, Luay A. Wahsheh, 2008 .

How to Prevent Type-Flaw Guessing Attacks on Password Protocols

Jim Alves-Foss, Sreekanth Malladi, 2003 .

An MSLS-EMM for enforcing confidentiality in malicious environments

Jim Alves-Foss, Bei Wang, 2006, Communication, Network, and Information Security.

Security evaluation of virtualization technologies in multi-core systems

Jim Alves-Foss, Xiaohui He, 2011 .

Implementation-Oriented Secure Architectures

Jim Alves-Foss, Paul W. Oman, Daniel Conte de Leon, 2007, 2007 40th Annual Hawaii International Conference on System Sciences (HICSS'07).

Applying the Layered Decision Model to the Design of Language-Based Security Systems

Jim Alves-Foss, Huaqiang Wei, J. Alves-Foss, 2006, 2006 IEEE International Conference on Information Reuse & Integration.

Formal Verification and Visualization of Security Policies

Jim Alves-Foss, Daniel Conte de Leon, Luay A. Wahsheh, 2008, J. Comput..

Implications of Multi-Core Architectures on the Development of Multiple Independent Levels of Security (MILS) Compliant Systems

Jim Alves-Foss, Xiaohui He, Paul W. Oman, 2012 .

Performance of Group Key Agreement Protocols over Multiple Operations

Jim Alves-Foss, Shanyu Zheng, Stephen S. Lee, 2005, IASTED PDCS.

Verification of secure distributed systems in higher order logic: A modular approach using generic components

Karl N. Levitt, Jim Alves-Foss, 1991, Proceedings. 1991 IEEE Computer Society Symposium on Research in Security and Privacy.

Formal analysis and verification of password protocols

Jim Alves-Foss, Sreekanth Malladi, 2004 .

Using SPARK-Ada to Model and Verify a MILS Message Router

Jim Alves-Foss, Paul W. Oman, Bryan Rossebo, 2006 .

Analyzing uncertainty in TG protection graphs with TG/MC

Jim Alves-Foss, James R. Conrad, Sauchi Stephen Lee, 2010, J. Comput. Secur..

Programming Education in the Era of the Internet: A Paradigm Shift

Jim Alves-Foss, Scott Harrison, Nadine Hanebutte, 2006, Proceedings of the 39th Annual Hawaii International Conference on System Sciences (HICSS'06).

Developing a taxonomy of cyber attacks in WAMS

Jim Alves-Foss, Jia Song, N. Nagarjuna, 2018 .

The Watson Theorem Prover

M. Randall Holmes, Jim Alves-Foss, 2004, Journal of Automated Reasoning.

An Experimental Study to Explore Attacker Response to Changes in Security and Reward

Jim Alves-Foss, Mark Rounds, Norman Pendegraft, 2013, 2013 46th Hawaii International Conference on System Sciences.

HARDWARE SECURITY TAGS FOR ENHANCED OPERATING SYSTEM SECURITY

Jia Song, Jim Alves-Foss, 2013 .

Detecting Compromised Nodes in a Wireless Sensor Network using Trust

Jim Alves-Foss, Cheryl V. Hinds, J. Alves-Foss, 2009, SNA.

Evaluating the Use of Security Tags in Security Policy Enforcement Mechanisms

Jim Alves-Foss, Stuart Steiner, Jia Song, 2015, 2015 48th Hawaii International Conference on System Sciences.

Towards resilient multicore architectures for real-time controls

Jim Alves-Foss, Jessica Smith, Ryan Bradetich, 2010, 2010 3rd International Symposium on Resilient Control Systems.

The MILS architecture for high-assurance embedded systems

Jim Alves-Foss, Scott Harrison, Paul W. Oman, 2006, Int. J. Embed. Syst..

Guess what? Here is a new tool that finds some new guessing attacks (Extended Abstract)

Sandro Etalle, Jim Alves-Foss, Ricardo Corin, 2003 .

Formalizing an Automated, Adversary-aware Risk Assessment Process for Critical Infrastructure

Jim Alves-Foss, Frederick T. Sheldon, Clinton L. Jeffery, 2019, 2019 IEEE Texas Power and Energy Conference (TPEC).

A Structured Analysis of SQL Injection Runtime Mitigation Techniques

Jim Alves-Foss, Stuart Steiner, Daniel Conte de Leon, 2017, HICSS.

Analysis and categorization of software faults to assist novice programmers

Jim Alves-Foss, Carol Masuck, 2008 .

Analysis of Web Browser Security Configuration Options

Jim Alves-Foss, Ananth A. Jillepalli, Stuart Steiner, 2018, KSII Trans. Internet Inf. Syst..

Expanding RTEMS to a Multiuser System by Using Security Tags

Jim Alves-Foss, Jia Song, 2015 .

Techniques for the survivability of critical computer systems

Jim Alves-Foss, Carol S. Taylor, 2004 .

Covert timing channel capacity of rate monotonic real-time scheduling algorithm in MLS systems

Jim Alves-Foss, Joon Son, 2006, Communication, Network, and Information Security.

Just in Time Assurance

Jim Alves-Foss, W M Vanfleet, J. Alves-Foss, 2010 .

Higher Order Logic Theorem Proving and its Applications 8th International Workshop, Aspen Grove, Ut, Usa, September 11-14, 1995 : Proceedings

Jim Alves-Foss, E. Thomas Schubert, Philip J. Windley, 1995 .

A formal framework for real-time information flow analysis

Jim Alves-Foss, Joon Son, 2009, Comput. Secur..

A Fast Boot, Fast Shutdown Technique for Android OS Devices

Jim Alves-Foss, Xia Yang, Peng Shi, 2016, Computer.

Security Implications of Quantum Technologies

Jim Alves-Foss, 1998 .

Risk Analysis and Probabilistic Survivability Assessment ( RAPSA ) : An Assessment Approach for Power Substation Hardening

Jim Alves-Foss, Carol Taylor, Axel Krings, 2002 .

Autonomous rule creation for intrusion detection

Jim Alves-Foss, Milos Manic, Todd Vollmer, 2011, 2011 IEEE Symposium on Computational Intelligence in Cyber Security (CICS).

Formal Reasoning About Intrusion Detection Systems

Cui Zhang, Karl N. Levitt, Jim Alves-Foss, 2004, RAID.

Analysis of fault models for student use

Jim Alves-Foss, Paul W. Oman, Carol Masuck, 2008, SGCS.

A communication-computation efficient group key algorithm for large and dynamic groups

Jim Alves-Foss, David Manz, Shanyu Zheng, 2007, Comput. Networks.

A multi-layered approach to security in high assurance systems

Jim Alves-Foss, Paul W. Oman, Carol Taylor, 2004, 37th Annual Hawaii International Conference on System Sciences, 2004. Proceedings of the.

A layered decision model for cost-effective network defense

Terence Soule, Deborah A. Frincke, Jim Alves-Foss, 2005, IRI -2005 IEEE International Conference on Information Reuse and Integration, Conf, 2005..

A Layered Decision Model for cost-effective system security

Terence Soule, Jim Alves-Foss, Deborah A. Frincke, 2008, Int. J. Inf. Comput. Secur..

Using Policy Enforcement Graphs in a Separation-Based High Assurance Architecture

Jim Alves-Foss, Luay A. Wahsheh, 2007, 2007 IEEE International Conference on Information Reuse and Integration.

Function boundary detection in stripped binaries

Jim Alves-Foss, Jia Song, J. Alves-Foss, 2019, ACSAC.

Multi-Protocol Attacks and the Public Key Infrastructure

Jim Alves-Foss, 1998 .

A novel alert correlation and confidence fusion framework in intrusion detection systems

Jim Alves-Foss, Dong Yu, 2006 .

NATE: Network Analysis ofAnomalousTrafficEvents, a low-cost approach

Jim Alves-Foss, Carol Taylor, J. Alves-Foss, 2001 .

Layered decision model for cost-effective network safeguarding

Jim Alves-Foss, Huaqiang Wei, 2006 .

On Preventing Replay Attacks on Security Protocols

Jim Alves-Foss, Robert B. Heckendorn, Sreekanth Malladi, 2002 .

A lightweight virtual machine monitor for security analysis on Intel64 architecture

Jim Alves-Foss, Xiaohui He, 2011 .

Towards resilient critical infrastructures: Application of Type-2 Fuzzy Logic in embedded network security cyber sensor

Milos Manic, Jim Alves-Foss, Ondrej Linda, 2011, 2011 4th International Symposium on Resilient Control Systems.

Formal Methods and Industry - Introduction.

Jim Alves-Foss, Ann E. Kelley Sobel, J. Alves-Foss, 1999 .

Formal Grammar for Java

Deborah A. Frincke, Jim Alves-Foss, 1999, Formal Syntax and Semantics of Java.

A Framework for Group Key Management Protocol Assessment Independent of View Synchrony

Jim Alves-Foss, Paul W. Oman, David Manz, 2010 .

Hidden Implementation Dependencies in High Assurance and Critical Computing Systems

Jim Alves-Foss, Daniel Conte de Leon, D. Leon, 2006, IEEE Transactions on Software Engineering.

An overview of SNIF: a tool for Surveying Network Information Flow

Jim Alves-Foss, 1995, Proceedings of the Symposium on Network and Distributed System Security.

METICS: A Holistic Cyber Physical System Model for IEEE 14-bus Power System Security

Jim Alves-Foss, Frederick T. Sheldon, Brian K. Johnson, 2018, 2018 13th International Conference on Malicious and Unwanted Software (MALWARE).

Multiple Independent Levels of Security

Jim Alves-Foss, J. Alves-Foss, 2011, Encyclopedia of Cryptography and Security.

The DARPA Cyber Grand Challenge: A Competitor's Perspective, Part 2

Jim Alves-Foss, Jia Song, J. Alves-Foss, 2015, IEEE Security & Privacy.

Policy-Based Security for Wireless Components in High Assurance Computer Systems

Jim Alves-Foss, Luay A. Wahsheh, 2007 .

Network Simulation of Group Key Management Protocols

Jim Alves-Foss, David Manz, Shanyu Zheng, 2008 .

Adapting group key management protocols to wireless, ad-hoc networks without the assumption of view synchrony

Jim Alves-Foss, David Manz, 2010 .

Operational characteristics of modern malware: PCO threats

Jim Alves-Foss, Ananth A. Jillepalli, Daniel Conte de Leon, 2018 .

Securing mobile agents through evaluation of encrypted functions

Jim Alves-Foss, Hyung-jick Lee, 2002 .

Specifying and enforcing a multi-policy paradigm for high assurance multi-enclave systems

Jim Alves-Foss, Luay A. Wahsheh, 2006, J. High Speed Networks.

Formal methods and industry

Jim Alves-Foss, Ann E. Kelley Sobel, 1999, Proceedings of the 32nd Annual Hawaii International Conference on Systems Sciences. 1999. HICSS-32. Abstracts and CD-ROM of Full Papers.

Introduction to Assurance Research for Dependable Software Systems (ARDSS) Minitrack

Jim Alves-Foss, Carol Woody, Rick Linger, 2012, HICSS 2012.

Security Tagging for a Zero-Kernel Operating System

Jim Alves-Foss, Jia Song, 2013, 2013 46th Hawaii International Conference on System Sciences.

Quantum Genetic Algorithms

Terence Soule, Jim Alves-Foss, James A. Foster, 2000, GECCO.

Dynamic Denotational Semantics of Java

Jim Alves-Foss, Fong Shing Lam, 1999, Formal Syntax and Semantics of Java.

Certificate based authorization simulation system

Jim Alves-Foss, Jie Dai, 2001, 25th Annual International Computer Software and Applications Conference. COMPSAC 2001.

High level specification of non-interference security policies in partitioned MLS systems

Jim Alves-Foss, Joon Son, J. Alves-Foss, 2007 .

An architecture for HESTIA: high-level and extensible system for training and infrastructure risk assessment

Jim Alves-Foss, Frederick T. Sheldon, Brian K. Johnson, 2018, IoT 2018.

Architecture-based refinements for secure computer systems design

Jie Zhou, Jim Alves-Foss, 2006, PST.

NATE: Network Analysis of Anomalous Traffic Events, a low-cost approach

Jim Alves-Foss, Carol Taylor, 2001, NSPW '01.

Efficient Allocation in Distributed Object Oriented Databases

Jim Alves-Foss, Jonathan Graham, 2003, ISCA PDCS.

Use of an SDN Switch in Support of NIST ICS Security Recommendations and Least Privilege Networking

Jim Alves-Foss, Varsha Venugopal, Sandeep Gogineni Ravindrababu, 2019, ICSS.

The Known Unknowns

Jim Alves-Foss, Paul W. Oman, P. Oman, 2013, IEEE Security & Privacy.

Mechanical Verification Of Secure Distributed systems In Higher Order Logic

Karl N. Levitt, Jim Alves-Foss, K. Levitt, 1991, 1991., International Workshop on the HOL Theorem Proving System and Its Applications.

The verification of secure distributed systems

Karl N. Levitt, Jim Alves-Foss, K. Levitt, 1991, COMPCON Spring '91 Digest of Papers.

A New Operating System for Security Tagged Architecture Hardware in Support of Multiple Independent Levels of Security (MILS) Compliant System

Jim Alves-Foss, Stuart Steiner, Jia Song, 2014 .

Network Authentication Protocol Studies

Jim Alves-Foss, Paul W. Oman, 2009 .

Rationality Validation of a Layered Decision Model for Network Defense

Jim Alves-Foss, Deborah A. Frincke, Du Zhang, 2007, 2007 IEEE International Conference on Information Reuse and Integration.

Formal Syntax and Semantics of Java

Jim Alves-Foss, J. Alves-Foss, 2002, Lecture Notes in Computer Science.

Diversity as a computer defense mechanism

Jim Alves-Foss, Carol Taylor, 2005, NSPW '05.

Combining Mandatory and Attribute-Based Access Control

Jim Alves-Foss, Lawrence Kerr, 2016, 2016 49th Hawaii International Conference on System Sciences (HICSS).

Securing Database as a Service: Issues and Compromises

Jim Alves-Foss, Joel Weis, J. Alves-Foss, 2011, IEEE Security & Privacy.

Percentages, Probabilities and Professions of Performance

Jim Alves-Foss, 2019, CSET @ USENIX Security Symposium.

Security Policy Refinement: High-Level Specification to Low-Level Implementation

Jim Alves-Foss, Xia Yang, J. Alves-Foss, 2013, 2013 International Conference on Social Computing.

Proceedings of the 8th International Workshop on Higher Order Logic Theorem Proving and Its Applications

Jim Alves-Foss, Phillip J. Windley, E. Thomas Schubert, 1995 .

“ Low Cost ” Network Intrusion Detection

Jim Alves-Foss, Carol Taylor, J. Alves-Foss, 2001 .

What are multi-protocol guessing attacks and how to prevent them

Jim Alves-Foss, Sreekanth Malladi, J. Alves-Foss, 2002, Proceedings. Eleventh IEEE International Workshops on Enabling Technologies: Infrastructure for Collaborative Enterprises.

Implementing middleware for content filtering and information flow control

Jim Alves-Foss, Paul W. Oman, Nadine Hanebutte, 2007, CSAW '07.

The use of encrypted functions for mobile agent security

Jim Alves-Foss, Scott Harrison, Hyungjick Lee, 2004, 37th Annual Hawaii International Conference on System Sciences, 2004. Proceedings of the.

Specifying Multi-Level Security for an Embedded Real-Time Control System

Jim Alves-Foss, Deborah A. Frincke, Surekha Ghantasala, 2007 .

A Security Review of the Cell Broadband Engine Processor

Jim Alves-Foss, Xiaohui He, Jessica Smith, 2010, 2010 43rd Hawaii International Conference on System Sciences.

Security policy design and implementation in high assurance computer systems

Jim Alves-Foss, Luay A. Wahsheh, 2008 .

MAINTAINING CONFIDENTIALITY IN MULTILEVEL XML

Jim Alves-Foss, Lawrence Kerr, 2013 .