Sage Journals: Discover world-class research

Retricted access

Research article

First published 2011-8

Runtime Monitoring of Contract Regulated Web Services

Alessio Lomuscio, Wojciech Penczek, Monika Solanki [...]

Fundamenta Informaticae

Retricted access

Research article

First published 2008-10-13

Securing information flow via dynamic capture of dependencies

Paritosh Shroff, Scott F. Smith, Mark Thober

Journal of Computer Security

Open access

Research article

First published 2016-8

A non-intrusive runtime enforcement on behaviors of open supervisory control and data acquisition systems

Yan-Fang Mao, Yang Zhang, Jun-Liang Chen

International Journal of Distributed Sensor Networks

Retricted access

Research article

First published 2010-1-1

Provably correct inline monitoring for multithreaded Java-like programs

Mads Dam, Bart Jacobs, Andreas Lundblad [...]

Journal of Computer Security

Retricted access

Research article

First published 2012-4-27

Iterative enforcement by suppression: Towards practical enforcement theories *

Nataliia Bielova, Fabio Massacci

Journal of Computer Security

Retricted access

Research article

First published 2017

Monitoring with Parametrized Extended Life Sequence Charts

Ming Chai, Bernd-Holger Schlingloff

Fundamenta Informaticae

Retricted access

Research article

First published 2025-3

Digital twin for the formal analysis of a depth of anesthesia controller

Mohamed AbdElSalam, Saddek Bensalem, Antoine Delacourt [...]

SIMULATION

Retricted access

Research article

First published 2022-5

Goal and Feature Model Optimization for the Design and Self-Adaptation of Socio-Cyber-Physical Systems

Amal Ahmed Anda, Daniel Amyot

Journal of Integrated Design and Process Science

Retricted access

Research article

First published 2000-8

AN INTEGRATED DEVELOPMENT OF A DYNAMIC SOFTWARE-FAULT MONITORING SYSTEM

A. Q. Gates, P. J. Teller

Journal of Integrated Design and Process Science

Retricted access

Research article

First published 2024-6-17

SIAT: A systematic inter-component communication real-time analysis technique for detecting data leak threats on Android

Yupeng Hu, Wenxin Kuang, Jin Zhe [...]

Journal of Computer Security

Search results