Distributed Secure Systems: Then and Now

2007 ◽  
Author(s):  
Brian Randell ◽  
John Rushby
Keyword(s):  
Secure Systems

scholarly journals Persistent Stochastic Non-Interference

2021 ◽  
Vol 181 (1) ◽  
pp. 1-35
Author(s):  
Jane Hillston ◽  
Andrea Marin ◽  
Carla Piazza ◽  
Sabina Rossi
Keyword(s):  
Process Algebra ◽  
Operational Semantics ◽  
Evaluation Process ◽  
Decision Algorithm ◽  
Secure Systems ◽  
Information Flow Security ◽  
Structural Operational Semantics ◽  
Timing Properties ◽  
Functional Point ◽  
Security Property

In this paper, we study an information flow security property for systems specified as terms of a quantitative Markovian process algebra, namely the Performance Evaluation Process Algebra (PEPA). We propose a quantitative extension of the Non-Interference property used to secure systems from the functional point view by assuming that the observers are able to measure also the timing properties of the system, e.g., the response time of certain actions or its throughput. We introduce the notion of Persistent Stochastic Non-Interference (PSNI) based on the idea that every state reachable by a process satisfies a basic Stochastic Non-Interference (SNI) property. The structural operational semantics of PEPA allows us to give two characterizations of PSNI: one based on a bisimulation-like equivalence relation inducing a lumping on the underlying Markov chain, and another one based on unwinding conditions which demand properties of individual actions. These two different characterizations naturally lead to efficient methods for the verification and construction of secure systems. A decision algorithm for PSNI is presented and an application of PSNI to a queueing system is discussed.

USABLE SECURITY IN BIOMETRIC AUTHENTICATION SYSTEMS

2021 ◽  
Vol 17 (1) ◽  
pp. 287-292
Author(s):  
Adriana-Meda UDROIU ◽  
Ștefan-Antonio DAN-ȘUTEU
Keyword(s):  
Iris Recognition ◽  
Accurate Method ◽  
Biometric Authentication ◽  
Usable Security ◽  
Security Systems ◽  
Field Methods ◽  
Secure Systems ◽  
Authentication System ◽  
Secure Authentication ◽  
Pattern Variability

Abstract: We introduce the term usable security to refer to security systems, models, mechanisms and applications that have as the main goal usability. Secure systems cannot exist without secure authentication methods. Thus we outline biometric authentication methods and we focus on iris recognition because is the most reliable and accurate method for human identification]. The most important advantage of iris biometric over other biometrics is that irises have enormous pattern variability meaning that the variation between individual is almost maximum and variation for any person across time or conditions is minimum. Taking into consideration this observations, this survey covers researches in this field, methods of technical implementation and the usability of this method as an authentication system on iOS environment.

Bogus Doctor Deceptions during Multi-Casualty Events and Disasters

2000 ◽  
Vol 15 (3) ◽  
pp. 25-27 ◽  
Author(s):  
Antony Nocera ◽  
Anne M. Newton
Keyword(s):  
Public Health ◽  
Health Professionals ◽  
Medical Literature ◽  
Health And Safety ◽  
Medical Practitioner ◽  
Security Threat ◽  
Medical Practitioners ◽  
Secure Systems ◽  
Public Health And Safety

AbstractBogus doctors pose a threat to public health and safety, and they present a security threat at disaster and multi-casualty event sites. A “bogus doctor” is an individual who misrepresents him/herself as a registered medical practitioner by their demeanour, actions, dress, or surroundings, while not entitled to be on a register of medical practitioners. There are very few reports in the medical literature, but practitioners have encountered them at the site of a disaster or multi-casualty event. This paper examines the five cases identified in the literature. Secure systems that confirm a health professional's identity and qualifications are required to avoid unnecessary delays and to protect the victims and health professionals providing the care.

Sign in / Sign up

Export Citation Format

Share Document