Skip to main navigation
Skip to search
Skip to main content
Teesside University's Research Portal Home
Home
Profiles
Research units
TeesRep
Student theses
Projects
Datasets
Press/Media
Search by expertise, name or affiliation
Paolo Modesti
Dr
Centre for Digital Innovation
Senior Lecturer in Cybersecurity
,
Department of Computing & Games
https://orcid.org/0000-0002-2523-1847
Email
P.Modesti
tees.ac
uk
Accepting PhD Students
Overview
Fingerprint
Network
TeesRep
(24)
Similar Profiles
(6)
Research output
10
Article
8
Conference contribution
2
Commissioned report
2
Abstract
2
More
1
Chapter
1
Doctoral Thesis
Research output per year
Research output per year
1 results
Publication Year, Title
(descending)
Publication Year, Title
(ascending)
Title
Type
Filter
Doctoral Thesis
Search results
2012
Verified Security Protocol Modeling and Implementation with AnBx
Modesti, P.
,
2012
,
Università Ca' Foscari, Venezia
.
138 p.
Research output
:
Thesis
›
Doctoral Thesis
Open Access
Distributed Protocol
100%
Security Protocols
100%
Protocol Modeling
100%
Protocol Implementation
100%
Security protocols
100%