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

1

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/..

2

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/..

3

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/..

4

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/..

5

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/..

6

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/..

7

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/..

8

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/..

9

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/..

10

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..

11

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..

12

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/..

13

Biological and computational assessment of new synthesized ..:

Yousef, Reda G. ; Elwan, Alaa ; Abdallah, Abdallah E....
Journal of Molecular Structure. 1305 (2024) - p. 137753 , 2024

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

14

Water desalination plant powered by solid oxide fuel cell t..:

Abdalla, Abdalla M. ; Wang, Xinzhi ; Wei, Bo...
Journal of Cleaner Production. 365 (2022) - p. 132570 , 2022

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

15

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..