Skip to Main Content Area
CPS-VO
Contact Support
Browse
Calendar
Announcements
Repositories
Groups
Search
Search for Content
Search for a Group
Search for People
Search for a Project
Tagcloud
› Go to login screen
Not a member?
Click here to register!
Forgot username or password?
Cyber-Physical Systems Virtual Organization
Fostering collaboration among CPS professionals in academia, government, and industry
CPS-VO
security of data
biblio
Info-Trust: A Multi-Criteria and Adaptive Trustworthiness Calculation Mechanism for Information Sources
Submitted by
aekwall
on Mon, 12/09/2019 - 11:23am
security of data
History
Trusted Computing
Adaptation models
pubcrawl
composability
resource management
Social network services
Computational modeling
social networking (online)
Decision Making
Data mining
social computing
social media
information sources
Complexity theory
Compositionality
trust calculation mechanism
adaptive trustworthiness calculation mechanism
adaptive weight
behavior-based trust
fake information sources
identity-based trust
Info-Trust
Multi-criteria
multicriteria properties
multicriteria trustworthiness calculation mechanism
network information
ordered weighted averaging and weighted moving average combination algorithm
relation-based trust
Sina Weibo
trust calculation technology
trust factors
trust relationships
trustworthiness identification
trustworthy social media system
untrustworthy information sources
Computing Theory and Trust
biblio
Engineering Trust: A Graph-Based Algorithm for Modeling, Validating, and Evaluating Trust
Submitted by
aekwall
on Mon, 12/09/2019 - 11:23am
security of data
Trusted Computing
pubcrawl
composability
graph theory
Computational modeling
Metrics
Vulnerability
systems engineering
trust
Measurement
Trust management
evaluation
Risk
modeling
psychology
cognition
Compositionality
complex intersystem trust relationships
complex multitiered system architectures
Component architectures
disparate system
engineering trust
graph-based algorithm
graph-based modeling methodology
requirements analysis
System Engineering
Systems architecture
systems engineering processes
trust modeling
Computing Theory and Trust
biblio
A Reliable and Lightweight Trust Computing Mechanism for IoT Edge Devices Based on Multi-Source Feedback Information Fusion
Submitted by
aekwall
on Mon, 12/09/2019 - 11:22am
security of data
Cloud Computing
Internet of Things
security
Trusted Computing
pubcrawl
composability
Computational modeling
Reliability
Entropy
sensor fusion
edge computing
Compositionality
outsourcing
Computational efficiency
feedback information fusion algorithm
feedback trust
global trust calculation
information entropy
IoT edge computing applications
IoT edge computing architecture
IoT edge devices
largescale IoT edge computing
lightweight trust computing mechanism
lightweight trust evaluating mechanism
lightweight trust mechanism
low-overhead trust computing algorithms
multi-source feedback information fusion
multisource feedback information fusion
objective information entropy theory
outsourced computing services
reliable trust computing mechanism
trust calculation mechanism
trust computing mechanism
Computing Theory and Trust
biblio
A Cyber Risk Based Moving Target Defense Mechanism for Microservice Architectures
Submitted by
aekwall
on Mon, 12/02/2019 - 11:08am
security of data
Scalability
security
Software
Resiliency
pubcrawl
Metrics
Measurement
Software Architecture
Indexes
Logic gates
risk analysis
business data processing
Security Metrics
moving target defense
Compositionality
program compilers
Application Container Security
automatic code generation techniques
business capabilities
cyber risk
diversification index
economics-of-scale incentives
microservice architectures structure
microservices attack surfaces
Microservices Security
moving target defense mechanism
MSA
multistep attacks
security risk assessment
security risk-oriented software diversification
Transforms
compiler security
biblio
Journey Beyond Full Abstraction: Exploring Robust Property Preservation for Secure Compilation
Submitted by
aekwall
on Mon, 12/02/2019 - 11:08am
Safety
security of data
Scalability
Resiliency
pubcrawl
Cryptography
Metrics
Libraries
program diagnostics
program verification
Writing
Space exploration
Security Properties
Compositionality
program compilers
secure code
source program
adversarial contexts
arbitrary adversarial contexts
compiled program
Computer languages
equivalent property-free
formal secure compilation criteria
full abstraction
fully abstract compilation chain
good programming languages
hyperproperties
linked adversarial code
linked adversarial target code
linked source code
linked target code
liveness
low-level target language
multiple programs
noninterference
property classes
relational hyperproperties
relational properties
robust preservation
robust property preservation
secure compilation
secure compilation chain
Secure interoperability
secure linking
Security Foundations
source language
source-level abstraction
strictly stronger security guarantees
supported security goals
trace properties
compiler security
biblio
SoK: Shining Light on Shadow Stacks
Submitted by
aekwall
on Mon, 12/02/2019 - 11:08am
security of data
Scalability
security
Software
Resiliency
pubcrawl
Metrics
optimization
metadata
program diagnostics
Payloads
Compositionality
Registers
program compilers
defense mechanisms
backward edge
C++ languages
CFI mitigations
compatibility
compiler designers
control-flow hijacking attacks
control-flow integrity solutions
control-flow-hijacking
control-flow-integrity
deployed mitigations
dominant attack vector
forward edge
fully precise mechanism
indirect calls
language-based-security
low performance overhead
Memory Protection
performance comparisons
return-oriented-programming
shadow stack design
shadow stacks
shadow-stacks
software security mitigations
virtual calls
compiler security
biblio
Automatically Validating the Effectiveness of Software Diversity Schemes
Submitted by
aekwall
on Mon, 12/02/2019 - 11:07am
security of data
Scalability
Program processors
Resiliency
pubcrawl
Metrics
vulnerabilities
Cybersecurity
computer security
Measurement
evaluation
Semantics
Compositionality
program compilers
compilers
comparative evaluation
DARPA Cyber Grand Challenge environment
diversifying compiler
diversity strategies
diversity techniques
exploit mitigation
scant attention
software diversity
software diversity schemes
software protection
compiler security
biblio
Understand Code Style: Efficient CNN-Based Compiler Optimization Recognition System
Submitted by
aekwall
on Mon, 12/02/2019 - 11:07am
security of data
Scalability
security
Software
Task Analysis
Resiliency
pubcrawl
Metrics
optimization
convolutional neural nets
Analytical models
convolution
recurrent neural nets
Semantics
Compositionality
binary file processing
binary security analysis
closed source compilers
CNN-based compiler optimization level recognition model
CNN-based compiler optimization recognition system
compiler optimization algorithms
optimising compilers
RNN-based model
understand code style
compiler security
biblio
Stealthy Injection Attacks Against IEC61850's GOOSE Messaging Service
Submitted by
aekwall
on Mon, 12/02/2019 - 11:04am
security of data
security
Protocols
Resiliency
pubcrawl
composability
Metrics
Substations
IEC standards
power engineering computing
power system security
quality of service
command injection attacks
communications channels
generic object oriented substation events messaging service
IEC61850s GOOSE messaging service
Message service
QoS requirements
Queueing analysis
SaS
security technologies
stealthy injection attacks
substation automation
substation automation system
Time factors
biblio
Intrusion Detection Model of SCADA Using Graphical Features
Submitted by
aekwall
on Mon, 12/02/2019 - 11:04am
security of data
Protocols
Industrial Control Systems
SCADA
SCADA systems
feature extraction
Resiliency
pubcrawl
composability
Metrics
pattern classification
production engineering computing
Mathematical model
Intrusion Detection
data set
power systems
data visualisation
industrial control
message transmission
time series
command injection attacks
classification model
command injection
denial of service
graphic area features
graphical features
iec 60870-5-104
information scanning
intrusion detection experiment environment
intrusion detection model
Intrusion Detection System (IDS)
Law
response injection
supervisory control and data acquisition (SCADA)
supervisory control and data acquisition system
time series features
1
2
3
4
5
6
7
8
9
…
next ›
last »
