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
authorization
biblio
Authenticate Users with Their Work on the Internet
Submitted by
aekwall
on Mon, 06/01/2020 - 11:04am
authentication
authorisation
authorization
Browsers
classification of text documents
Document Object Model
History
Human behavior
Human Factors
internet
Internet user
message authentication
Metrics
multifactor authentication
password
pubcrawl
remote access
remote information systems
resilience
Resiliency
secret password
user authentication
Web pages
biblio
Trustworthy configuration management for networked devices using distributed ledgers
Submitted by
aekwall
on Mon, 05/11/2020 - 11:28am
security of data
authorisation
authorization
Organizations
Internet of Things
IoT applications
Resiliency
pubcrawl
composability
Metrics
fault tolerant computing
message authentication
security threats
Proposals
control engineering computing
fault tolerance
Traceability
physical world
Fabrics
distributed ledgers
network accountability
blockchain-based distributed ledger
Building automation
Byzantine fault tolerant configuration management system
CMS
Configuration Management
configuration management process
critical configurations
data leaks
distributed execution environment
individual malicious administrators
industrial sites
IT systems
multiparty authorization
networked devices
process control
strong connection
targeted devices
trustworthy configuration management
biblio
Privacy Policies Model in Access Control
Submitted by
grigby1
on Fri, 04/03/2020 - 12:32pm
privacy
authorisation
Cloud Computing
pubcrawl
Human behavior
data privacy
Scalability
authorization
information security
cloud environments
access control language
access control management
data exchange
Internet services
personal data privacy
privacy policies model
privacy policy model
privacy policy strategy
Proposals
Task Analysis
user identification
Privacy Policies
biblio
RFID-assisted Continuous User Authentication for IoT-based Smart Farming
Submitted by
aekwall
on Mon, 03/23/2020 - 1:32pm
Servers
authorization
Internet of Things
security
Resiliency
Human behavior
pubcrawl
Business
sustainable development
authentication
public domain software
message authentication
security architecture
radiofrequency identification
RFID
Agriculture
groupware
Decision support systems
electronic data interchange
agricultural contractors
agricultural machines
collaborative agricultural processes
farm management information systems
farm-internal interconnection
FMIS
in-field data exchange
interconnected machinery
IoT-based smart Farming
machine data
Machinery
Management information systems
NFC
Radio Frequency Identification-based continuous user authentication
RFID-assisted continuous user authentication
Smart Farming
sustainable resource management
RFIDs
biblio
A Security-Enhanced Interoperability Middleware for the Internet of Things
Submitted by
aekwall
on Mon, 03/16/2020 - 10:35am
security
security of data
Scalability
Internet of Things
pubcrawl
authentication
middleware
home automation
authorization
open systems
confidentiality
effective IoT platform
generic object model
GHOST
hardware platforms
highly resilient solution
Internet of Things middleware
IoT object abstraction layer
main features
operational requirements
Personalised Real-time Risk Control project
Safe-Guarding Home IoT Environments
scalable solution
security-enhanced interoperability middleware
vendor
Scalable Security
biblio
Host Oriented Factor Normalizing Authentication Resource: More Secure Authentication for Legacy Systems
Submitted by
aekwall
on Mon, 03/02/2020 - 12:26pm
authorisation
pubcrawl
radio frequency identification
software maintenance
biometrics (access control)
Human Factors
security issues
authorization
biometrics
radiofrequency identification
password
Multi-factor authentication
secure authentication
two factor authentication
authentication model
computer systems security
host oriented factor normalizing authentication resource
legacy systems
legacy systems authentication
scalable multifactor authentication method
software program
biblio
An Extensive Formal Security Analysis of the OpenID Financial-Grade API
Submitted by
grigby1
on Mon, 02/17/2020 - 5:07pm
Analytical models
application program interfaces
authentication
authorisation
authorization
bank data processing
Banking
FAPI
Financial-grade-API
formal security analysis
Formal-Analysis
Human behavior
Metrics
OAuth
OAuth 2.0 design
Open Banking APIs
Open Banking security profile
Open-banking-API
OpenID Financial-grade API
OpenID Foundation
OpenID-Connect
policy-based governance
pubcrawl
resilience
Resiliency
security weaknesses
Security-Protocols
Servers
Single-Sign-On
standards
Web Infrastructure Model
web services
web-based APIs
web-based environment
web-security
biblio
Continuous Authorization in Subject-Driven Data Sharing Using Wearable Devices
Submitted by
aekwall
on Mon, 02/17/2020 - 2:57pm
Scalability
authorisation
authorization
Data models
Resiliency
Human behavior
pubcrawl
privacy
Cameras
data privacy
ubiquitous computing
access control mechanisms
Context modeling
Wearable Device
Blood pressure
Context-aware Access
context-aware access control models
contextual condition
Continuous Authorization
continuous authorization framework
data resources
data sharing
personal context
personal data
policy model
shared data
specified context condition
subject-driven data sharing
wearables security
biblio
Improved Invariant Generation for Industrial Software Model Checking of Time Properties
Submitted by
aekwall
on Mon, 02/10/2020 - 12:11pm
Safety
authorization
Software
embedded systems
pubcrawl
composability
tools
Production
Formal Specification
safety-critical software
Writing
Scalability
formal verification
automotive embedded software
formal methods
formal proof
industrial software model checking
invariant generation
model checking
model-based design tools
safety-critical properties
SMT solving
Software verification
symbolic model checking
time properties
software assurance
biblio
Fog-Based Secure Communications for Low-Power IoT Devices
Submitted by
grigby1
on Tue, 01/21/2020 - 11:39am
authorization
confidentiality
encryption
Fog computing
Internet-of-Things
Proxy re-encryption
pubcrawl
Publish/Subscribe
resilience
Resiliency
Scalability
secure communications
security
1
2
3
4
5
6
7
8
9
next ›
last »
