How and why feedback composition fails [secure systems]

2002 ◽  
Author(s):  
A. Zakinthinos ◽  
E.S. Lee
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.

scholarly journals Boosting Authentication Security by Building Strong Password and Individualizing Easy to Remember Techniques

2016 ◽  
Vol 2 (3) ◽  
pp. 520
Author(s):  
Nooruldeen Nasih Qader
Keyword(s):  
Information Security ◽  
The Other ◽  
Secure Systems ◽  
Authentication Mechanism ◽  
Other Hand ◽  
Similar Strategy ◽  
Authentication Security

Newly released researches disclose the need of canceling the incorrect opinion; security by Password (PW) is dead and proves that these believe has been hurtful. Moreover, recommended a campaign prioritize strategies of building PW. Considering the PW features such as costless, maturity and vast experiences, and usability PW continues to be the most used options in Information Security (IS), it is furthermore, consider most challengers to researchers and really needs further boosting. PWs control authentication mechanism of IS, requiring that individuals choose strong PW. The best advice to protect from hackers is randomly generating unique PW for every site and service, to apply this advice we need more techniques of easy to remember and hard to guess. This study proposed a bunch of easy to remember techniques for building a strong PW. Also, it exhibited the importance of similar strategy despite existing of many helpful PW managers. On the other hand, this paper compiled and analyzed today’s data regarding authenticating secure systems via PW. Analyzed data showed some of common weakness in PW selection. Moreover, gathered information and evaluated data indicated the need of boosting PW. Proposed techniques and solutions enable individuals to select appropriate PW easily.

Sign in / Sign up

Export Citation Format

Share Document