Abstract-Vi föreslår och analyserar en beteende-regler specifikation-baserad teknik för intrångsdetektering av medicintekniska produkter inbäddade i ett medicinskt cyber fysiskt system (MCPS) där patientens säkerhet är av yttersta vikt. Vi föreslår en metod för att omvandla beteenderegler till en tillståndsmaskin, så att en enhet som övervakas för dess beteende lätt kan kontrolleras mot den omvandlade tillståndsmaskinen för avvikelse från dess beteendespecifikation. Med hjälp av viktiga teckenmonitorer för medicintekniska produkter som exempel visar vi att vår intrångsdetekteringsteknik effektivt kan byta bort falska positiva för en hög sannolikhet för att hantera mer sofistikerade och dolda angripare för att stödja ultrasäkra och säkra MCPS-applikationer. Dessutom visar vi genom en jämförande analys att vår beteende-regler specifikation-baserade IDS-teknik överträffar två befintliga anomali-baserade tekniker för att upptäcka onormala patientbeteenden i genomträngande vårdapplikationer.
I REF använde författarna beteenderegler för att specificera det säkra systemet tillstånd för medicinska Cyber Physical Systems (CPS) och övervaka avvikelser från dessa regler.
Behavior Rule Specification-Based Intrusion Detection for Safety Critical Medical Cyber Physical Systems
{'venue': 'IEEE Transactions on Dependable and Secure Computing', 'journal': 'IEEE Transactions on Dependable and Secure Computing', 'mag_field_of_study': ['Computer Science']}