Pinned Repositories
its-tracking
Design and implementation of a simple vehicle tracking service
verefoo
VEREFOO (VErified REFinement and Optimized Orchestrator) is a framework designed to provide an automatic way to allocate packet filters – in a Service Graph defined by the service designer and an auto-configuration technique to create firewall rules with respect to the specified security requirements.
VeTeSS-Topcased-Verification-Plugin
VeTeSS Topcase Verification Plugin
vnf-modeling
A framework for Virtual Network Functions (VNF) modeling and Service Graph verification in SDN/Cloud context
SVT
Security Verification and Testing
riccardosisto's Repositories
riccardosisto/SVT
Security Verification and Testing