Cargando…

APSec1.0: Innovative Security Protocol Design with Formal Security Analysis for the Artificial Pancreas System

The Medical Internet-of-Things (MIoT) has developed revolutionary ways of delivering medical care to patients. An example system, showing increasing demand, is the artificial pancreas system that offers convenience and reliable support care to patients with Type 1 Diabetes. Despite the apparent bene...

Descripción completa

Detalles Bibliográficos
Autores principales:	Kim, Jiyoon, Oh, Jongmin, Son, Daehyeon, Kwon, Hoseok, Astillo, Philip Virgil, You, Ilsun
Formato:	Online Artículo Texto
Lenguaje:	English
Publicado:	MDPI 2023
Materias:	Article
Acceso en línea:	https://www.ncbi.nlm.nih.gov/pmc/articles/PMC10301274/ https://www.ncbi.nlm.nih.gov/pubmed/37420667 http://dx.doi.org/10.3390/s23125501

Ejemplares similares

Drone Secure Communication Protocol for Future Sensitive Applications in Military Zone
por: Ko, Yongho, et al.
Publicado: (2021)

Can Formal Security Verification Really Be Optional? Scrutinizing the Security of IMD Authentication Protocols
por: Duguma, Daniel Gerbi, et al.
Publicado: (2021)

Information security applications: 20th international conference, WISA 2019, Jeju Island, South Korea, August 21-24, 2019, revised selected papers
por: You, Ilsun
Publicado: (2020)

Formal Analysis of the Security Protocol with Timestamp Using SPIN
por: Xiao, Meihua, et al.
Publicado: (2022)

Artificial intelligence for security
por: Addo, Archie, et al.
Publicado: (2020)

Global Health Security Innovation
por: Stikeleather, James, et al.
Publicado: (2019)

An Enhanced LoRaWAN Security Protocol for Privacy Preservation in IoT with a Case Study on a Smart Factory-Enabled Parking System
por: You, Ilsun, et al.
Publicado: (2018)

Securing the borderless network: security for the web 2.0 world
por: Gillis, Tom
Publicado: (2010)

Artificial intelligence safety and security
por: Yampolskiy, Roman V
Publicado: (2018)

An artificial intelligence lightweight blockchain security model for security and privacy in IIoT systems
por: Selvarajan, Shitharth, et al.
Publicado: (2023)

Mobile internet security: first international symposium, MOBISEC 2016, Taichung, Taiwan, July 14-15, 2016, revised selected papers
por: You, Ilsun, et al.
Publicado: (2018)

Contextualizing Security Innovation: Responsible Research and Innovation at the Smart Border?
por: Klimburg-Witjes, Nina, et al.
Publicado: (2021)

Multimedia forensics and security: foundations, innovations, and applications
por: Hassanien, Aboul, et al.
Publicado: (2017)

Principles of computer security: CompTIA security+ and beyond, (exam SY0-501)
por: Conklin, Wm Arthur, et al.
Publicado: (2018)

Formal aspects in security and trust: IFIP TC1 WG1. 7 workshop on formal aspects in security and trust (fast), world computer congress, August 22-27, 2004, Toulouse, France
por: Dimitrakos, Theo, et al.
Publicado: (2005)

CompTIA security+ certification guide: master IT security essentials and exam topics for CompTIA Security+ SY0-501 certification
por: Neil, Ian
Publicado: (2018)

Formal modeling and analysis of security schemes of RPL protocol using colored Petri nets
por: Ahmad, Farooq, et al.
Publicado: (2023)

Artificial immune system: applications in computer security
por: Tan, Ying
Publicado: (2016)

Artificial intelligence design and solution for risk and security
por: Addo, Archie, et al.
Publicado: (2020)

CompTIA security+ SY0-401
por: Barrett, Diane, et al.
Publicado: (2015)

Fourth ICT Innovations conference ”Secure and Intelligent Systems”
por: Markovski, Smile, et al.
Publicado: (2013)

Big data challenges: society, security, innovation and ethics
por: Bunnik, Anno, et al.
Publicado: (2016)

Innovative Research Approaches to Cope with Water Security in Africa
por: de Miguel, Angel, et al.
Publicado: (2020)

Removing politics from innovations that improve food security
por: Smyth, Stuart J., et al.
Publicado: (2021)

Selected Papers from the First International Symposium on Future ICT (Future-ICT 2019) in Conjunction with the 4th International Symposium on Mobile Internet Security (MobiSec 2019)
por: Pau, Giovanni, et al.
Publicado: (2021)

Characterization of Physicians That Might Be Reluctant to Propose HIV Cure-Related Clinical Trials with Treatment Interruption to Their Patients? The ANRS-APSEC Study
por: Protiere, Christel, et al.
Publicado: (2020)

Responsive security: be ready to be secure
por: Kang, Meng-Chow
Publicado: (2014)

Software security: building security in
por: McGraw, Gary
Publicado: (2006)

Special issue on ‘Shifting Borders of European (In)Securities: Human Security, Border (In)Security and Mobility in Security’
por: Panebianco, Stefania, et al.
Publicado: (2022)

Advanced API security: securing APIs with OAuth 2.0, OpenID Connect, JWS, and JWE
por: Siriwardena, Prabath
Publicado: (2014)

Hard and soft computing for artificial intelligence, multimedia and security
por: Kobayashi, Shin-ya, et al.
Publicado: (2016)

Secure Knowledge Management and Cybersecurity in the Era of Artificial Intelligence
por: Samtani, Sagar, et al.
Publicado: (2023)

Threat 2.0: Security & Compliance for Web 2.0 sites
por: Team, ITG Research
Publicado: (2009)

Core software security: security at the source
por: Ransome, James, et al.
Publicado: (2013)

Cisco secure Internet security solutions
por: Mason, Andrew G, et al.
Publicado: (2001)

Security monitoring with Cisco security MARS
por: Halleen, Gary, et al.
Publicado: (2007)

Techno security's guide to securing SCADA
por: Wiles, Jack, et al.
Publicado: (2007)

Securing systems with the Solaris security toolkit
por: Noordergraaf, Alex, et al.
Publicado: (2003)

IoT Security Configurability with Security-by-Contract
por: Giaretta, Alberto, et al.
Publicado: (2019)

CompTIA security+ (exam SY0-401)
por: Dunkerley, Dawn, et al.
Publicado: (2014)

Cannot write session to /tmp/vufind_sessions/sess_q9mpocn0o0d0tm4ad2f92n2jf5