Benjamin Aziz
TitleCited byYear
Federated identity and access management for the internet of things
P Fremantle, B Aziz, J Kopeckż, P Scott
2014 International Workshop on Secure Internet of Things, 10-17, 2014
812014
Reconfiguring role based access control policies using risk semantics
B Aziz, SN Foley, J Herbert, G Swart
Journal of High Speed Networks 15 (3), 261-273, 2006
472006
Towards modelling obligations in Event-B
J Bicarregui, A Arenas, B Aziz, P Massonet, C Ponsard
International Conference on Abstract State Machines, B and Z, 181-194, 2008
372008
A formal model and analysis of an IoT protocol
B Aziz
Ad Hoc Networks 36, 49-57, 2016
312016
From goal-oriented requirements to Event-B specifications
B Aziz, A Arenas, J Bicarregui, C Ponsard, P Massonet
First Nasa Formal Method Symposium (NFM 2009), 2009
292009
Reputation management in collaborative computing systems
AE Arenas, B Aziz, GC Silaghi
Security and Communication Networks 3 (6), 546-564, 2010
272010
Detecting man-in-the-middle attacks by precise timing
B Aziz, G Hamilton
2009 Third International Conference on Emerging Security Information …, 2009
242009
A temporal blockchain: a formal analysis
R Dennis, G Owenson, B Aziz
2016 International Conference on Collaboration Technologies and Systems (CTS …, 2016
222016
Reputation management in grid-based virtual organisations
A Arenas, B Aziz, G Silaghi
International Conference on Security and Cryptography (SECRYPT 2008), 2008
222008
Managing conflicts of interest in virtual organisations
A Arenas, B Aziz, J Bicarregui, B Matthews
Electronic Notes in Theoretical Computer Science 197 (2), 45-56, 2008
222008
Controlling usage in business process workflows through fine-grained security policies
B Aziz, A Arenas, F Martinelli, I Matteucci, P Mori
International Conference on Trust, Privacy and Security in Digital Business …, 2008
202008
A privacy analysis for the π-calculus: The denotational approach
B Aziz, G Hamilton
Proceedings of the 2nd Workshop on the Specification, Analysis and …, 2002
192002
OAuthing: privacy-enhancing federation for the internet of things
P Fremantle, B Aziz
2016 Cloudification of the Internet of Things (CIoT), 1-6, 2016
162016
Web api management meets the internet of things
P Fremantle, J Kopeckż, B Aziz
European Semantic Web Conference, 367-375, 2015
152015
A formal model and analysis of the MQ telemetry transport protocol
B Aziz
2014 Ninth International Conference on Availability, Reliability and …, 2014
152014
An event-B approach to data sharing agreements
AE Arenas, B Aziz, J Bicarregui, MD Wilson
International Conference on Integrated Formal Methods, 28-42, 2010
152010
Optimisation methods for fast restoration of software-defined networks
A Malik, B Aziz, M Adda, CH Ke
IEEE Access 5, 16111-16123, 2017
122017
On the availability of anti-forensic tools for smartphones
I Sporea, B Aziz, Z McIntyre
International Journal of Security 6 (4), 58-64, 2012
122012
A secure and scalable grid-based content management system
B Aziz, A Arenas, G Cortese, B Crispo, S Causetti
2010 International Conference on Availability, Reliability and Security, 404-409, 2010
122010
A static analysis of cryptographic processes: The denotational approach
B Aziz, G Hamilton, D Gray
The Journal of Logic and Algebraic Programming 64 (2), 285-320, 2005
122005
The system can't perform the operation now. Try again later.
Articles 1–20