Cyber-Physical Systems secure communication protocols - DTU Orbit

‹ Back to search result

Cyber-Physical Systems secure communication protocols

Project: PhD

With the same participants

Modeling and Verifying eID Protocols (Future ID)
Project: PhD
SESAMO: Security and Safety Modelling
Project: PhD
SESAMO: Security and Safety Modelling
Project: PhD
SESAMO: Security and Safety Modelling
Project: PhD
Conflict Management in Aspect Policies
Project: PhD
Round-trip Engineering of Service-Oriented Architectures
Project: PhD
Static Analysis for Model Checking
Project: PhD
Logics and models for stochastic analysis of information systems
Project: PhD
Combined Techniques of Static Analysis and Model Checking
Project: PhD
Static Analysis and Model Checking of Software Systems
Project: PhD

Vigo, Roberto (Phd Student)
Nielson, Hanne Riis (Supervisor)
Nielson, Flemming (Main Supervisor)

View graph of relations

Status	Current
Period	01-12-11 → 30-11-14

Financing source	Internal funding (public)
Research programme	1/3 FUU, 1/3 inst 1/3 Andet

ID: 2339252