ÐÓ°ÉÔ­´´

Skip to Content

Posts sorted by Publication

CyberSEA Publications

New Publication: Identifying and Analyzing Implicit Interactions in a Wastewater Dechlorination System

CyberSEA Publications

New Publication: Reusable Formal Models for Threat Specification, Detection, and Treatment

CyberSEA Publications

New Publication: Evaluation of Statistical Tests for Detecting Storage-Based Covert Channels

CyberSEA Publications

New Publication: Recommendations for Effective Security Assurance of Software-Dependent Systems

CyberSEA Publications

New Publication: Formal Specification and Verification of Reusable Communication Models for Distributed Systems Architecture

CyberSEA Publications

New Publication: Distributed Maintenance of a Spanning Tree of k-Connected Graphs

CyberSEA Publications

New Publication: Communicating Concurrent Kleene Algebra for Distributed Systems Specification

Page 5 of 5

Previous

This site uses cookies to offer you a better browsing experience. Find out more on how we use cookies and how you can change your settings.