PRDC 2018: THE 23RD IEEE PACIFIC RIM INTERNATIONAL SYMPOSIUM ON DEPENDABLE COMPUTING

This page contains an index consisting of author-provided keywords.

A
abnormal node detection	Hierarchical Abnormal-node Detection using Fuzzy Logic for ECA Rule-based Wireless Sensor Networks
ACC	Experimental Resilience Assessment of An Open-Source Driving Agent
acceptable result	Methods for Approximate Adders Reliability Estimation Based on PTM Model
Access Control	DynPolAC: Dynamic Policy-based Access Control for IoT Systems
Adaptive Repetition	Adaptive Repetition Scheme with Machine Learning for 3GPP NB-IoT
algorithms	On Algorithms Selection for Unsupervised Anomaly Detection
Android malware family signature generation	ANTSdroid:Using RasMMA algorithm to generate Malware Behavior Characteristics of Android Malware Family
Android security	ANTSdroid:Using RasMMA algorithm to generate Malware Behavior Characteristics of Android Malware Family
Anomalies	On the Detection of Side-Channel Attacks
anomaly detection	On Algorithms Selection for Unsupervised Anomaly Detection
approximate adders	Methods for Approximate Adders Reliability Estimation Based on PTM Model
ArduPilot Flight Controller	Effects of GPS Spoofing on Unmanned Aerial Vehicles
Arrival rate	DynPolAC: Dynamic Policy-based Access Control for IoT Systems
atomicity	Specification and Formal Verification of Atomic Concurrent Real-Time Transactions
attacker model	Determining the Tolerable Attack Surface that Preserves Safety of Cyber-Physical Systems
Authorization	DynPolAC: Dynamic Policy-based Access Control for IoT Systems
autonomous vehicle	Experimental Resilience Assessment of An Open-Source Driving Agent
Autonomous Vehicles	DynPolAC: Dynamic Policy-based Access Control for IoT Systems
B
Bag of words	Attempt to Apply Machine Learning to a Failure Database - A Case Study on Communications Networks
binary analysis	On the effectiveness of code normalization for function identification
binary equivalence	On the effectiveness of code normalization for function identification
binary rejuvenation	On the effectiveness of code normalization for function identification
bit-flips	An Improved Data Error Detection Technique for Dependable Embedded Software
Bitcoin	An attack-tolerant agreement algorithm for block chain
blockchain	Cyber-Physical Transactions: A Method for Securing VANETs with Blockchains Economic Analysis of Blockchain Technology on Digital Platform Market An attack-tolerant agreement algorithm for block chain
botnet detection	Detecting Malicious Web Scraping Activity: a Study with Diverse Detectors
C
Certificateless PKC	A certificateless one-way group key agreement protocol for end-to-end email encryption
Chipkill	SSCMSD - Single-Symbol Correction Multi-Symbol Detection for DRAM subsystem
Cloud computing service	Towards a security-enhanced cloud platform
Cloud security	Towards a security-enhanced cloud platform
coarse grain lockstep	Software-Defined Dependable Computing for Spacecraft
combinatorial interaction testing	Deriving Fault Locating Test Cases from Constrained Covering Arrays
Conformance Testing	Modeling the Required Indoor Temperature Change by Hybrid Automata for Detecting Thermal Problems
constrained covering array	Deriving Fault Locating Test Cases from Constrained Covering Arrays
constrained locating array	Deriving Fault Locating Test Cases from Constrained Covering Arrays
control flow checking	Control Flow Checking Optimization Based On Regular Patterns Analysis
controller failure	Semantic Failover in Software-Defined Networking
convolutional codes	Research on Convolutional Codes are used in RAID
Covert-Channel Attacks	InfoLeak: Scheduling-based Information Leakage On the Detection of Side-Channel Attacks
CubeSat	Software-Defined Dependable Computing for Spacecraft
cyber physical systems	On IoT Misbehavior Detection in Cyber Physical Systems
Cyber Security	Evaluating the Security of IoT Networks with Mobile Devices
Cyber-Physical	Cyber-Physical Security of an Electric Microgrid An Approach for Formal Analysis of the Security of a Water Treatment Testbed
cyber-physical system	Determining the Tolerable Attack Surface that Preserves Safety of Cyber-Physical Systems
cyber-physical systems	Cyber-Physical Transactions: A Method for Securing VANETs with Blockchains
D
data error detection	An Improved Data Error Detection Technique for Dependable Embedded Software
data mining	On Algorithms Selection for Unsupervised Anomaly Detection
degradation	Degradable restructuring of mesh-connected processor arrays with spares on orthogonal sides
Dependability assessment	FastFI: Accelerating Software Fault Injections
Detection	On the Detection of Side-Channel Attacks
dimensionality reduction	Exploring the Relationship Between Dimensionality Reduction and Private Data Release
discrete event simulator	DynPolAC: Dynamic Policy-based Access Control for IoT Systems
distributed data protection	DynPolAC: Dynamic Policy-based Access Control for IoT Systems
distributed systems	Cyber-Physical Transactions: A Method for Securing VANETs with Blockchains
DRAM Reliability	SSCMSD - Single-Symbol Correction Multi-Symbol Detection for DRAM subsystem
Drones	DynPolAC: Dynamic Policy-based Access Control for IoT Systems
Dynamic analysis	ANTSdroid:Using RasMMA algorithm to generate Malware Behavior Characteristics of Android Malware Family Mobile Software Security Risk Assessment with Program Analysis
Dynamic IoT systems	DynPolAC: Dynamic Policy-based Access Control for IoT Systems
E
ECA rules	Hierarchical Abnormal-node Detection using Fuzzy Logic for ECA Rule-based Wireless Sensor Networks
Efficiency	FastFI: Accelerating Software Fault Injections
End-to-end email encryption	A certificateless one-way group key agreement protocol for end-to-end email encryption
enterprise computing	Enforcing Enterprise Mobile Application Security Policy with Plugin Framework
Error correction Code	SSCMSD - Single-Symbol Correction Multi-Symbol Detection for DRAM subsystem
F
failover	Semantic Failover in Software-Defined Networking
Failure database	Attempt to Apply Machine Learning to a Failure Database - A Case Study on Communications Networks
fault injection	Experimental Resilience Assessment of An Open-Source Driving Agent Software-Defined Dependable Computing for Spacecraft
fault localization	Deriving Fault Locating Test Cases from Constrained Covering Arrays
fault recovery	Do Nothing, but Carefully: Fault Tolerance with Timing Guarantees for Multiprocessor Systems devoid of Online Adaptation
fault tolerance	Do Nothing, but Carefully: Fault Tolerance with Timing Guarantees for Multiprocessor Systems devoid of Online Adaptation An Improved Data Error Detection Technique for Dependable Embedded Software Degradable restructuring of mesh-connected processor arrays with spares on orthogonal sides Software-Defined Dependable Computing for Spacecraft Restructuring mesh-connected processor arrays with spares on four sides by orthogonal side rotation
faults injection	Control Flow Checking Optimization Based On Regular Patterns Analysis
feasibility	InfoLeak: Scheduling-based Information Leakage On the Detection of Side-Channel Attacks
formal verification	Determining the Tolerable Attack Surface that Preserves Safety of Cyber-Physical Systems
forward error correction	Software-Defined Dependable Computing for Spacecraft
FPGA	Software-Defined Dependable Computing for Spacecraft
fuzzy logic	Hierarchical Abnormal-node Detection using Fuzzy Logic for ECA Rule-based Wireless Sensor Networks
G
Game Theory	Economic Analysis of Blockchain Technology on Digital Platform Market
goodness-of-fit	Software Test-Run Reliability Modeling with Non-homogeneous Binomial Processes
GPS Spoofing	Effects of GPS Spoofing on Unmanned Aerial Vehicles
H
Hash	SSCMSD - Single-Symbol Correction Multi-Symbol Detection for DRAM subsystem
heterogeneous controllers	Semantic Failover in Software-Defined Networking
high availability	Semantic Failover in Software-Defined Networking
Highly interactive systems	DynPolAC: Dynamic Policy-based Access Control for IoT Systems
Hybrid Automata	Modeling the Required Indoor Temperature Change by Hybrid Automata for Detecting Thermal Problems
I
Identification service	Towards a security-enhanced cloud platform
Incentive mechanism	Economic Analysis of Blockchain Technology on Digital Platform Market
Indoor Temperature	Modeling the Required Indoor Temperature Change by Hybrid Automata for Detecting Thermal Problems
information leakage model	InfoLeak: Scheduling-based Information Leakage
instruction duplication	An Improved Data Error Detection Technique for Dependable Embedded Software
Internet of things	Hierarchical Abnormal-node Detection using Fuzzy Logic for ECA Rule-based Wireless Sensor Networks
Internet-of-Things	DynPolAC: Dynamic Policy-based Access Control for IoT Systems
intrusion detection	On IoT Misbehavior Detection in Cyber Physical Systems
Invariants	Cyber-Physical Security of an Electric Microgrid An Approach for Formal Analysis of the Security of a Water Treatment Testbed
IoT	Evaluating the Security of IoT Networks with Mobile Devices On IoT Misbehavior Detection in Cyber Physical Systems
isolation	Specification and Formal Verification of Atomic Concurrent Real-Time Transactions
K
k-anonymity	Exploring the Relationship Between Dimensionality Reduction and Private Data Release
L
LKAS	Experimental Resilience Assessment of An Open-Source Driving Agent
M
Machine Learning	Adaptive Repetition Scheme with Machine Learning for 3GPP NB-IoT Attempt to Apply Machine Learning to a Failure Database - A Case Study on Communications Networks
majority attack	An attack-tolerant agreement algorithm for block chain
malicious web scraping	Detecting Malicious Web Scraping Activity: a Study with Diverse Detectors
MDS codes	Research on Convolutional Codes are used in RAID
mesh array	Degradable restructuring of mesh-connected processor arrays with spares on orthogonal sides Restructuring mesh-connected processor arrays with spares on four sides by orthogonal side rotation
metamorphic relation	Applying metamorphic testing to e-commerce product search engines
metamorphic testing	Applying metamorphic testing to e-commerce product search engines
mixed-criticality	Do Nothing, but Carefully: Fault Tolerance with Timing Guarantees for Multiprocessor Systems devoid of Online Adaptation
mobile applications	Enforcing Enterprise Mobile Application Security Policy with Plugin Framework
mobile device management	Enforcing Enterprise Mobile Application Security Policy with Plugin Framework
Mobile IoT systems	DynPolAC: Dynamic Policy-based Access Control for IoT Systems
Mobile software	Mobile Software Security Risk Assessment with Program Analysis
Mobility Models	Evaluating the Security of IoT Networks with Mobile Devices
model checking	Specification and Formal Verification of Atomic Concurrent Real-Time Transactions
MSDND	Cyber-Physical Security of an Electric Microgrid An Approach for Formal Analysis of the Security of a Water Treatment Testbed
multiprocessor	Do Nothing, but Carefully: Fault Tolerance with Timing Guarantees for Multiprocessor Systems devoid of Online Adaptation
N
n-coloring problem	A SAT-Based Approach for SDN Rule Table Distribution
Nanosatellite	Software-Defined Dependable Computing for Spacecraft
Narrowband Internet-of-Things (NB-IoT)	Adaptive Repetition Scheme with Machine Learning for 3GPP NB-IoT
Network Economics	Economic Analysis of Blockchain Technology on Digital Platform Market
non-homogeneous binomial process	Software Test-Run Reliability Modeling with Non-homogeneous Binomial Processes
non-homogeneous Poisson process	Software Test-Run Reliability Modeling with Non-homogeneous Binomial Processes
O
One-way group key agreement	A certificateless one-way group key agreement protocol for end-to-end email encryption
openpilot	Experimental Resilience Assessment of An Open-Source Driving Agent
P
Parallelization	FastFI: Accelerating Software Fault Injections
partial reconfiguration	Software-Defined Dependable Computing for Spacecraft
physically verifiable	Cyber-Physical Transactions: A Method for Securing VANETs with Blockchains
Platform market	Economic Analysis of Blockchain Technology on Digital Platform Market
Poisson-binomial distribution	Software Test-Run Reliability Modeling with Non-homogeneous Binomial Processes
Policy	DynPolAC: Dynamic Policy-based Access Control for IoT Systems
prediction	Software Test-Run Reliability Modeling with Non-homogeneous Binomial Processes
private data release	Exploring the Relationship Between Dimensionality Reduction and Private Data Release
Problem Detection	Modeling the Required Indoor Temperature Change by Hybrid Automata for Detecting Thermal Problems
product search engine	Applying metamorphic testing to e-commerce product search engines
Proof of Work (PoW)	An attack-tolerant agreement algorithm for block chain
Protocol expressiveness	DynPolAC: Dynamic Policy-based Access Control for IoT Systems
PTM model	Methods for Approximate Adders Reliability Estimation Based on PTM Model
Q
Queue theory	DynPolAC: Dynamic Policy-based Access Control for IoT Systems
R
radiation	Software-Defined Dependable Computing for Spacecraft
RAID	Research on Convolutional Codes are used in RAID
real-time	Do Nothing, but Carefully: Fault Tolerance with Timing Guarantees for Multiprocessor Systems devoid of Online Adaptation
Reed Solomon Code	SSCMSD - Single-Symbol Correction Multi-Symbol Detection for DRAM subsystem
reliability	An Improved Data Error Detection Technique for Dependable Embedded Software
reliability estimation	Methods for Approximate Adders Reliability Estimation Based on PTM Model
resilience	Experimental Resilience Assessment of An Open-Source Driving Agent
Resource-constrained	DynPolAC: Dynamic Policy-based Access Control for IoT Systems
restructuring	Degradable restructuring of mesh-connected processor arrays with spares on orthogonal sides Restructuring mesh-connected processor arrays with spares on four sides by orthogonal side rotation
reverse engineering	On the effectiveness of code normalization for function identification
Risk Assessment	Mobile Software Security Risk Assessment with Program Analysis
rule table distribution	A SAT-Based Approach for SDN Rule Table Distribution
runtime behavior analysis	ANTSdroid:Using RasMMA algorithm to generate Malware Behavior Characteristics of Android Malware Family
S
safety	Effects of GPS Spoofing on Unmanned Aerial Vehicles Experimental Resilience Assessment of An Open-Source Driving Agent
safety analysis	Determining the Tolerable Attack Surface that Preserves Safety of Cyber-Physical Systems
SAT	A SAT-Based Approach for SDN Rule Table Distribution
Satellite	Software-Defined Dependable Computing for Spacecraft
scheduling	Do Nothing, but Carefully: Fault Tolerance with Timing Guarantees for Multiprocessor Systems devoid of Online Adaptation InfoLeak: Scheduling-based Information Leakage
SDN	A SAT-Based Approach for SDN Rule Table Distribution
security	Hierarchical Abnormal-node Detection using Fuzzy Logic for ECA Rule-based Wireless Sensor Networks
Security Assessment	Detecting Malicious Web Scraping Activity: a Study with Diverse Detectors Evaluating the Security of IoT Networks with Mobile Devices
Security Metrics	Evaluating the Security of IoT Networks with Mobile Devices
security policy enforcement	Enforcing Enterprise Mobile Application Security Policy with Plugin Framework
security tools	Detecting Malicious Web Scraping Activity: a Study with Diverse Detectors
Security Vulnerabilities	An Approach for Trustworthiness Benchmarking using Software Metrics
self-driving	Experimental Resilience Assessment of An Open-Source Driving Agent
Self-driving Cars (SDC)	DynPolAC: Dynamic Policy-based Access Control for IoT Systems
sensor correlation	Hierarchical Abnormal-node Detection using Fuzzy Logic for ECA Rule-based Wireless Sensor Networks
Service time	DynPolAC: Dynamic Policy-based Access Control for IoT Systems
Side-Channel Attacks	InfoLeak: Scheduling-based Information Leakage On the Detection of Side-Channel Attacks
silent data corruption	SSCMSD - Single-Symbol Correction Multi-Symbol Detection for DRAM subsystem
single track switch	Degradable restructuring of mesh-connected processor arrays with spares on orthogonal sides Restructuring mesh-connected processor arrays with spares on four sides by orthogonal side rotation
sliding window	On Algorithms Selection for Unsupervised Anomaly Detection
SmallSat	Software-Defined Dependable Computing for Spacecraft
software	Software-Defined Dependable Computing for Spacecraft
software defined fault tolerance	Software-Defined Dependable Computing for Spacecraft
software diversity	Detecting Malicious Web Scraping Activity: a Study with Diverse Detectors
Software fault injection	FastFI: Accelerating Software Fault Injections
Software Metrics	An Approach for Trustworthiness Benchmarking using Software Metrics
software release decision	Software Test-Run Reliability Modeling with Non-homogeneous Binomial Processes
software reliability	Software Test-Run Reliability Modeling with Non-homogeneous Binomial Processes
Software Security	Effects of GPS Spoofing on Unmanned Aerial Vehicles
software signature	Control Flow Checking Optimization Based On Regular Patterns Analysis
Software testing	FastFI: Accelerating Software Fault Injections
software-defined networking	Semantic Failover in Software-Defined Networking
space	Software-Defined Dependable Computing for Spacecraft
spaceflight	Software-Defined Dependable Computing for Spacecraft
static branch prediction	Control Flow Checking Optimization Based On Regular Patterns Analysis
STPA	Experimental Resilience Assessment of An Open-Source Driving Agent
System-on-chip	Software-Defined Dependable Computing for Spacecraft
T
TCAM	A SAT-Based Approach for SDN Rule Table Distribution
temporal correctness	Specification and Formal Verification of Atomic Concurrent Real-Time Transactions
test-run reliability	Software Test-Run Reliability Modeling with Non-homogeneous Binomial Processes
Text mining	Attempt to Apply Machine Learning to a Failure Database - A Case Study on Communications Networks
Thermal Sensation	Modeling the Required Indoor Temperature Change by Hybrid Automata for Detecting Thermal Problems
timed automata	Determining the Tolerable Attack Surface that Preserves Safety of Cyber-Physical Systems
Topic model	Attempt to Apply Machine Learning to a Failure Database - A Case Study on Communications Networks
transaction	Specification and Formal Verification of Atomic Concurrent Real-Time Transactions
transient error detection	Control Flow Checking Optimization Based On Regular Patterns Analysis
Trustworthiness Benchmarking	An Approach for Trustworthiness Benchmarking using Software Metrics
U
UAS Traffic Management (UTM)	DynPolAC: Dynamic Policy-based Access Control for IoT Systems
Unified Modeling Language	Specification and Formal Verification of Atomic Concurrent Real-Time Transactions
Unmanned Aerial Vehicle	Effects of GPS Spoofing on Unmanned Aerial Vehicles
Unmanned Aircraft Systems (UAS)	DynPolAC: Dynamic Policy-based Access Control for IoT Systems
unsupervised learning	On Algorithms Selection for Unsupervised Anomaly Detection
W
wireless sensor network	Hierarchical Abnormal-node Detection using Fuzzy Logic for ECA Rule-based Wireless Sensor Networks
Z
zero-day attacks	On IoT Misbehavior Detection in Cyber Physical Systems

Disclaimer | Powered by EasyChair Smart Program