scholarly journals Message Confidentiality Testing of Security Protocols – Passive Monitoring and Active Checking

2006 ◽  
pp. 357-372 ◽  
Author(s):  
Guoqiang Shu ◽  
David Lee
Keyword(s):  
Security Protocols ◽  
Passive Monitoring

Towards a Standard for a Reliable Execution Environment for Security Protocols

2016 ◽  
Vol 2 (1) ◽  
pp. 78
Author(s):  
Mahalingam Ramkumar
Keyword(s):  
Information Systems ◽  
Full Advantage ◽  
Real World ◽  
Security Protocols ◽  
Low Complexity ◽  
High Integrity ◽  
Execution Environment ◽  
World Information ◽  
Digital Assets ◽  
Attack Models

Approaches for securing digital assets of information systems can be classified as active approaches based on attack models, and passive approaches based on system-models. Passive approaches are inherently superior to active ones. However, taking full advantage of passive approaches calls for a rigorous standard for a low-complexity-high-integrity execution environment for security protocols. We sketch broad outlines of mirror network (MN) modules, as a candidate for such a standard. Their utility in assuring real-world information systems is illustrated with examples.

Evaluation of Algorithms and Security Protocols to Mitigate the Risks in Commercial Transactions carried out by Public Companies

2020 ◽  
Author(s):  
Segundo Moises Toapanta Toapanta ◽  
Luis Enrique Mafla Gallegos ◽  
Alex Enrique Aranda Alvarado ◽  
Maximo Prado Solis
Keyword(s):  
Security Protocols ◽  
Public Companies

scholarly journals Indoor Acoustic Requirements for Autism-Friendly Spaces

2021 ◽  
Vol 11 (9) ◽  
pp. 3942
Author(s):  
Federica Bettarello ◽  
Marco Caniato ◽  
Giuseppina Scavuzzo ◽  
Andrea Gasparella
Keyword(s):  
Independent Living ◽  
Security And Privacy ◽  
Inclusive Design ◽  
Acoustic Sensor ◽  
Smart Sensor ◽  
Sensor Systems ◽  
Passive Monitoring ◽  
Literature Overview ◽  
Impaired People ◽  
Final Optimization

The architecture of spaces for people on the autistic spectrum is evolving toward inclusive design, which should fit the requirements for independent, autonomous living, and proper support for relatives and caregivers. The use of smart sensor systems represents a valuable support to internal design in order to achieve independent living for impaired people. Accordingly, these devices can monitor or prevent hazardous situations, ensuring security and privacy. Acoustic sensor systems, for instance, could be used in order to realize a passive monitoring system. The correct functioning of such devices needs optimal indoor acoustic criteria. Nevertheless, these criteria should also comply with dedicated acoustic requests that autistic individuals with hearing impairment or hypersensitivity to sound could need. Thus, this research represents the first attempt to balance, integrate, and develop these issues, presenting (i) a wide literature overview related to both topics, (ii) a focused analysis on real facility, and (iii) a final optimization, which takes into account, merges, and elucidates all the presented unsolved issues.

scholarly journals From Security Protocols to Pushdown Automata

2015 ◽  
Vol 17 (1) ◽  
pp. 1-45 ◽  
Author(s):  
Rémy Chrétien ◽  
Véronique Cortier ◽  
Stéphanie Delaune
Keyword(s):  
Security Protocols ◽  
Pushdown Automata

scholarly journals IMSC-EIoTD: Identity Management and Secure Communication for Edge IoT Devices

Sensors ◽  
2020 ◽  
Vol 20 (22) ◽  
pp. 6546
Author(s):  
Kazi Masum Sadique ◽  
Rahim Rahmani ◽  
Paul Johannesson
Keyword(s):  
Secure Communication ◽  
Identity Management ◽  
Security Protocols ◽  
Spin Model ◽  
The Internet ◽  
Human Society ◽  
Proposed Model ◽  
Authentication And Authorization ◽  
Quality Of Living ◽  
Iot Devices

The Internet of things (IoT) will accommodate several billions of devices to the Internet to enhance human society as well as to improve the quality of living. A huge number of sensors, actuators, gateways, servers, and related end-user applications will be connected to the Internet. All these entities require identities to communicate with each other. The communicating devices may have mobility and currently, the only main identity solution is IP based identity management which is not suitable for the authentication and authorization of the heterogeneous IoT devices. Sometimes devices and applications need to communicate in real-time to make decisions within very short times. Most of the recently proposed solutions for identity management are cloud-based. Those cloud-based identity management solutions are not feasible for heterogeneous IoT devices. In this paper, we have proposed an edge-fog based decentralized identity management and authentication solution for IoT devices (IoTD) and edge IoT gateways (EIoTG). We have also presented a secure communication protocol for communication between edge IoT devices and edge IoT gateways. The proposed security protocols are verified using Scyther formal verification tool, which is a popular tool for automated verification of security protocols. The proposed model is specified using the PROMELA language. SPIN model checker is used to confirm the specification of the proposed model. The results show different message flows without any error.

Signal scavenging for passive monitoring in eldercare technology

2009 ◽  
Author(s):  
H.W. Tyrer ◽  
R. Neelgund ◽  
A. Mohammed ◽  
U. Shriniwar
Keyword(s):  
Passive Monitoring
Sign in / Sign up

Export Citation Format

Share Document