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
Read-only archive of site from September 29, 2023.
CPS-VO
high-level language
biblio
POLANCO: Enforcing Natural Language Network Policies
Submitted by aekwall on Mon, 02/22/2021 - 12:39pm
campus network
public university Websites
printers
policy language for campus operations
POLANCO
network policy
Natural languages
natural language policies
natural language network policies
human-readable network policy definition language
high-level language
high-level human-readable natural language
high-level human readable language
high level languages
campus networks
computer network security
Educational institutions
Software Defined Networks
Complexity theory
SDN
natural language processing
pubcrawl
Human behavior
Resiliency
software defined networking
Software
security
authorisation
Servers
Scalability
biblio
Detecting Input Sanitization Errors in Scala
Submitted by grigby1 on Thu, 07/09/2020 - 12:57pm
program diagnostics
taint analysis
static types
sensitive sink methods
security of data
ScalaTaint
Scalability
Scala programming language
Scala Compiler
Scala applications
Resiliency
resilience
pubcrawl
programming languages
Compositionality
privacy
object-oriented programming
input sanitization errors
Input Sanitization
Human Factors
Human behavior
high-level language
functional programming
Error
dynamic taint analyzer
Data Sanitization
data deletion
