61 - 70 out of 2,066Page size: 10
Sort by: Title
- Published
A Formal Adversary Capability Model for SCADA Environments
Mcevoy, R. & Wolthusen, S. D., 2010, Proceedings of the 5th International Workshop on Critical Information Infrastructures Security (CRITIS 2010). Springer-Verlag, p. 93-103Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
- Published
A Formally Verified Mutual Authentication Protocol for Low-Cost RFID Tags
Abu Ghazalah, S., Markantonakis, K. & Mayes, K., Dec 2014, In : International Journal of RFID Security and Cryprography (IJRFIDSC). 3, 2, p. 156-169 14 p.Research output: Contribution to journal › Article
- Published
A framework for design and analysis of asymmetric fingerprinting protocols
Martin, K. M. & Poh, G. S., 2007, Proceedings of Third International Symposium on Information Assurance and Security IAS 2007. IEEE Computer Society Press, p. 457-461 5 p.Research output: Chapter in Book/Report/Conference proceeding › Chapter
- Published
A Framework for Enforcing Constrained RBAC Policies
Crampton, J. & Khambhammettu, H., 2009, Proceedings of 12th IEEE International Conference on Computational Science and Engineering. IEEE Computer Society Press, p. 195--200Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
- Published
A Framework for the Cryptographic Enforcement of Information Flow Policies
Alderman, J., Crampton, J. & Farley, N., 7 Jun 2017, Proceedings of the 22nd ACM on Symposium on Access Control Models and Technologies. ACM, p. 143-154 12 p.Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
- Published
A Future Health Information Provider Architecture
Komisarczuk, P., 2006, In : HIC 2006 and HINZ 2006: Proceedings. p. 471 1 p.Research output: Contribution to journal › Article
- Published
A game of “Cut and Mouse”: bypassing antivirus by simulating user inputs
Alper Genç, Z., Lenzini, G. & Sgandurra, D., 9 Dec 2019, The Annual Computer Security Applications Conference (ACSAC). ACM, p. 456-465 10 p.Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
- Published
A general approach to robust web metering
Barwick, S. G., Jackson, W-A. & Martin, K. M., 2005, In : Designs, Codes and Cryptography. 36, 1, p. 5-27 23 p.Research output: Contribution to journal › Article
- Published
A General Decomposition Construction for Incomplete Secret Sharing Schemes
van Dijk, M., Jackson, W-A. & Martin, K. M., 1998, In : Designs, Codes and Cryptography. 15, 3, p. 301-321 21 p.Research output: Contribution to journal › Article
- Published
A Generalisation of the Discrete Fourier Transform
Blackburn, S. R., 1996, Applications of Finite Fields, Proceedings of a conference held at Royal Holloway, University of London, Surrey U.K.. Gollmann, D. (ed.). Oxford: Oxford University Press, p. 111-116 6 p.Research output: Chapter in Book/Report/Conference proceeding › Chapter