Journal paper

file

Visible to the public Secure Control in Partially Observable Environments to Satisfy LTL Specifications

Submitted by awclark on Mon, 04/26/2021 - 8:18am

This paper studies the synthesis of control

policies for an agent that has to satisfy a temporal logic

specification in a partially observable environment, in

the presence of an adversary. The interaction of the

agent (defender) with the adversary is modeled as a partially

observable stochastic game. The goal is to generate

a defender policy to maximize satisfaction of a given

temporal logic specification under any adversary policy.

The search for policies is limited to the space of finite

file

Visible to the public OODA Loops in Cyberspace: A New Cyber-Defense Model

Submitted by rzager on Wed, 04/04/2018 - 6:30pm. Contributors:

Colonel John Boyd's Observe/Orient/Decide/Act Loop ("OODA loop") is a widely adopted decision-making analytical framework.

We combine the OODA loop with the NSA Methodology for Adversary Obstruction to create a new cyber-defense model.

file

Visible to the public Differentially Private Average Consensus: Obstructions, Trade-Offs, and Optimal Algorithm Design

Submitted by jcortes on Fri, 10/13/2017 - 12:33pm. Contributors:

This paper studies the multi-agent average consensus problem under the requirement of differential privacy of the agents' initial states against an adversary that has access to all the messages. We first establish that a differentially private consensus algorithm cannot guarantee convergence of the agents' states to the exact average in distribution, which in turn implies the same impossibility for other stronger notions of convergence.

event

Visible to the public  The Fourth International Conference On Digital Enterprise and Information Systems
Jul 19, 2017 9:00 am - Jul 20, 2017 5:00 pm UTC

Submitted by jerikasdiwc on Tue, 12/06/2016 - 1:11am

You are invited to participate in The Fourth International Conference On Digital Enterprise and Information Systems (DEIS2017) that will be held in Jakarta, Indonesia, on July 19 - 20, 2017. The event will be held over two days, with presentations delivered by researchers from the international community, including presentations from keynote speakers and state-of-the-art lectures.

forum

Visible to the public CfP: The Cyber-Physical Systems journal invites you to submit your research

Submitted by RichGoodman on Fri, 11/25/2016 - 8:33am

Dear readers,

Please find below a general call for papers to the Cyber Physical Systems journal. I'd be delighted to answer any questions or queries that you may have and look forward reading your research.

With best wishes,

Mr Richard Goodman

file

Visible to the public A Study on Situational Awareness Security and Privacy of Wearable Health Monitoring Devices

Submitted by xavierbellekens on Thu, 11/17/2016 - 5:45am

Situational Awareness provides a user centric approach to security and privacy. The human factor is often recognised as the weakest link in security, therefore situational perception and risk awareness play a leading role in the adoption and implementation of security mechanisms. In this study we assess the understanding of security and privacy of users in possession of wearable devices. The findings demonstrate privacy complacency, as the majority of users trust the application and the wearable device manufacturer.

file

Visible to the public The Healthtech Declaration

Submitted by awhitesell on Wed, 01/13/2016 - 4:50pm. Contributors:

Healthcare technology--sometimes called "healthtech" or "healthsec"--is enmeshed with security and privacy via usability, performance, and cost-effectiveness issues. It is multidisciplinary, distributed, and complex--nd it also involves many competing stakeholders and interests.

file

Visible to the public arch2015spec.bib

Submitted by pepponi on Wed, 07/22/2015 - 4:56am
file

Visible to the public Supporting Heterogeneity in Cyber-Physical Systems Architectures

Submitted by ivan on Wed, 06/24/2015 - 11:32am. Contributors:

Abstract: Cyber-physical systems (CPS) are heterogeneous, because they tightly couple computation, communication and control along with physical dynamics, which are traditionally considered separately. Without a comprehensive modeling formalism, model-based development of CPS involves using a multitude of models in a variety of formalisms that capture various aspects of the system design, such as software design, networking design, physical models, and protocol design.