E-LIB Suche - Ergebnisse für: Abdallah, Ali E.

1

Cyber threat intelligence sharing: Survey and research dire..:

Wagner, Thomas D. ; Mahbub, Khaled ; Palomar, Esther.
Computers & Security. 87 (2019) - p. 101589 , 2019

Link: https://doi.org/10.1016/..

2

A Novel Trust Taxonomy for Shared Cyber Threat Intelligence:

Wagner, Thomas D. ; Palomar, Esther ; Mahbub, Khaled.
Security and Communication Networks. 2018 (2018) - p. 1-11 , 2018

Link: https://doi.org/10.1155/..

3

Detection and prediction of insider threats to cyber securi..:

Gheyas, Iffat A. ; Abdallah, Ali E.
Big Data Analytics. 1 (2016) 1 - p. , 2016

Link: https://doi.org/10.1186/..

4

On the use of fingernail images as transient biometric iden..:

Barros Barbosa, Igor ; Theoharis, Theoharis ; Abdallah, Ali E.
Machine Vision and Applications. 27 (2015) 1 - p. 65-76 , 2015

Link: https://doi.org/10.1007/..

5

Formal Modelling of PKI Based Authentication:

Haidar, Ali Nasrat ; Abdallah, Ali E.
Electronic Notes in Theoretical Computer Science. 235 (2009) - p. 55-70 , 2009

Link: https://doi.org/10.1016/..

6

Formal Z Specifications of Several Flat Role-Based Access C..:

, In: 2006 30th Annual IEEE/NASA Software Engineering Workshop,

Abdallah, Ali E. ; Khayat, Etienne J. - p. None , 2006

Link: https://doi.org/10.1109/..

7

Towards a Formal Framework for Developing Secure Web Servic..:

, In: 2nd International Workshop on Automated Specification and Verification of Web Systems (WWV'06),

Haidar, Ali Nasrat ; Abdallah, Ali E. - p. None , 2006

Link: https://doi.org/10.1109/..

8

Communicating sequential processes

the first 25 Years ; Symposium on the Occasion of 25 Years ... Lecture notes in computer science ; 3525;Festschrift

Abdallah, Ali E. ; Jones, Cliff B. ; Sanders, Jeff W. , 2005

Link: http://dx.doi.org/10.100..

9

Communicating Sequential Processes. The First 25 Years

Symposium on the Occasion of 25 Years of CSP, London, UK, J... Lecture Notes in Computer Science ; 3525

Abdallah, Ali E. ; Jones, Cliff B. ; Sanders, Jeff W. , 2005

Link: http://dx.doi.org/10.100..

10

Formal Aspects of Security

First International Conference, FASec 2002, London, UK, Dec... Lecture Notes in Computer Science ; 2629

Abdallah, Ali E. ; Ryan, Peter ; Schneider, Steve , 2003

Link: https://doi.org/10.1007/..

11

Tetrodonic acid-like substance; A possible precursor of tet..:

Noguchi, Tamao ; Ali, Abdallah E. ; Arakawa, Osamu...
Toxicon. 29 (1991) 7 - p. 845-855 , 1991

Link: https://doi.org/10.1016/..

12

Tetrodotoxin and related substances in a ribbon worm Cephal..:

Ali, Abdallah E. ; Arakawa, Osamu ; Noguchi, Tamao...
Toxicon. 28 (1990) 9 - p. 1083-1093 , 1990

Link: https://doi.org/10.1016/..

13

AudiWFlow: Confidential, Collusion-resistant Auditing of Di..:

Zhou, Xiaohu ; Nehme, Antonio ; Jesus, Vitor...
https://www.open-access.bcu.ac.uk/12998/1/AuDiWFlow-%20Accepted%20Version.pdf. , 2022

Link: http://www.open-access.b..

14

Decentralised and Collaborative Auditing of Workflows:

Nehme, Antonio ; Jesus, Vitor ; Mahbub, Khaled.
https://www.open-access.bcu.ac.uk/7621/1/Decentralised%20and%20Collaborative%20Auditing%20of%20Workflows.pdf. , 2019

Link: http://www.open-access.b..

15

Cyber threat intelligence sharing: Survey and research dire..:

Wagner, Thomas D ; Mahbub, Khaled ; Palomar, Esther.
https://www.open-access.bcu.ac.uk/7852/1/Cyber%20Threat%20Intelligence%20Sharing%20Survey%20and%20Research%20Directions.pdf. , 2019

Link: http://www.open-access.b..