default search action
Ali E. Abdallah
Person information
- affiliation: Birmingham City University
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2010 – 2019
- 2019
- [j5]Thomas D. Wagner
, Khaled Mahbub, Esther Palomar
Cyber threat intelligence sharing: Survey and research directions. Comput. Secur. 87 (2019) - [j4]Antonio Nehme
Securing Microservices. IT Prof. 21(1): 42-49 (2019) - [c37]Antonio Nehme
Decentralised and Collaborative Auditing of Workflows. TrustBus 2019: 129-144 - 2018
- [j3]Thomas D. Wagner
A Novel Trust Taxonomy for Shared Cyber Threat Intelligence. Secur. Commun. Networks 2018: 9634507:1-9634507:11 (2018) - [c36]Antonio Nehme
Fine-Grained Access Control for Microservices. FPS 2018: 285-300 - 2017
- [c35]Aliyu Lawal Aliyu, Peter Bull, Ali E. Abdallah:
A Trust Management Framework for Network Applications within an SDN Environment. AINA Workshops 2017: 93-98 - [c34]Aliyu Lawal Aliyu, Peter Bull, Ali E. Abdallah:
Performance Implication and Analysis of the OpenFlow SDN Protocol. AINA Workshops 2017: 391-396 - [c33]Thomas D. Wagner
Towards an Anonymity Supported Platform for Shared Cyber Threat Intelligence. CRiSIS 2017: 175-183 - [c32]Thomas D. Wagner, Esther Palomar
Relevance Filtering for Shared Cyber Threat Intelligence (Short Paper). ISPEC 2017: 576-586 - 2016
- [j2]Igor Barros Barbosa
On the use of fingernail images as transient biometric identifiers - Biometric recognition using fingernail images. Mach. Vis. Appl. 27(1): 65-76 (2016) - 2011
- [c31]Almudena Alcaide, Esther Palomar, Israel Barroso-Perez, Ali E. Abdallah:
Privacy-enhancing Cryptography-based Materials. SECRYPT 2011: 379-382 - 2010
- [c30]Caroline Moeckel, Ali E. Abdallah:
Threat modeling approaches and tools for securing architectural designs of an e-banking application. IAS 2010: 149-154 - [c29]Maya I. Chehab, Ali E. Abdallah:
Assurance in identity management systems. IAS 2010: 216-221 - [c28]Ali Nasrat Haidar, Stefan J. Zasada, Peter V. Coveney, Ali E. Abdallah, Bruce Beckles:
Audited credential delegation - a user-centric identity management solution for computational grid environments. IAS 2010: 222-227 - [c27]Almudena Alcaide, Ali E. Abdallah, Ana Isabel González-Tablas Ferreres
L-PEP: A Logic to Reason about Privacy-Enhancing Cryptography Protocols. DPM/SETOP 2010: 108-122
2000 – 2009
- 2009
- [j1]Stephen Cooper, Christine Nickell, Victor P. Piotrowski Jr., Brenda Oldfield, Ali E. Abdallah, Matt Bishop
An exploration of the current state of information assurance education. ACM SIGCSE Bull. 41(4): 109-125 (2009) - [c26]Ali Nasrat Haidar, Ali E. Abdallah:
Abstractions of Web Services. ICECCS 2009: 182-191 - [c25]Maya I. Chehab, Ali E. Abdallah:
Architectures for identity management. ICITST 2009: 1-8 - [c24]Ali Nasrat Haidar, Peter V. Coveney, Ali E. Abdallah, Peter Y. A. Ryan
Formal Modelling of a Usable Identity Management Solution for Virtual Organisations. FAVO 2009: 41-50 - 2008
- [c23]Ali Nasrat Haidar, Ali E. Abdallah:
Comparison and Evaluation of Identity Management in Three Architectures for Virtual Organizations. IAS 2008: 21-26 - [c22]Ali E. Abdallah, Hassan Takabi:
Integrating Delegation with the Formal Core RBAC Model. IAS 2008: 33-36 - [c21]Ali Nasrat Haidar, Ali E. Abdallah:
Weaving Authentication and Authorization Requirements into the Functional Model of a System Using Z Promotion. ISoLA 2008: 831-846 - [c20]Ali Nasrat Haidar, Ali E. Abdallah:
Composition of Web Services Using Wrappers. ISoLA 2008: 862-865 - [c19]Ali Nasrat Haidar, Ali E. Abdallah:
Composition and Customization of Web Services Using Wrappers: A Formal Approach Based on CSP. SEW 2008: 187-194 - [c18]Ali Nasrat Haidar, Ali E. Abdallah:
Formal Modelling of PKI Based Authentication. WWV 2008: 55-70 - 2006
- [c17]Ali E. Abdallah, Etienne J. Khayat:
Formal Z Specifications of Several Flat Role-Based Access Control Models. SEW 2006: 282-292 - 2005
- [e2]Ali E. Abdallah, Cliff B. Jones
Communicating Sequential Processes: The First 25 Years, Symposium on the Occasion of 25 Years of CSP, London, UK, July 7-8, 2004, Revised Invited Papers. Lecture Notes in Computer Science 3525, Springer 2005, ISBN 3-540-25813-2 [contents] - 2004
- [c16]Ali E. Abdallah, Etienne J. Khayat:
A Formal Model for Parameterized Role-Based Access Control. Formal Aspects in Security and Trust 2004: 233-246 - [c15]John Hawkins, Ali E. Abdallah:
Hardware Synthesis of a Parallel JPEG Decoder from its Functional Specification. DIPES 2004: 197-206 - 2003
- [c14]Ali E. Abdallah, John Hawkins:
Formal Behavioural Synthesis of Handel-C Parallel Hardware Implementations from Functional Specifications. HICSS 2003: 278 - [e1]Ali E. Abdallah, Peter Y. A. Ryan, Steve A. Schneider:
Formal Aspects of Security, First International Conference, FASec 2002, London, UK, December 16-18, 2002, Revised Papers. Lecture Notes in Computer Science 2629, Springer 2003, ISBN 3-540-20693-0 [contents] - 2002
- [c13]John Hawkins, Ali E. Abdallah:
An Overview of Systematic Development of Parallel Systems for Reconfigurable Hardware (Research Note). Euro-Par 2002: 615-619 - 2001
- [c12]John Hawkins, Ali E. Abdallah:
A Generic Functional Genetic Algorithm. AICCSA 2001: 11-17 - [c11]Ali E. Abdallah, Theoharis Theoharis:
A Functional View of Parallel Computer Graphics. AICCSA 2001: 242- - 2000
- [c10]Ali E. Abdallah, John Hawkins:
Calculational design of special purpose parallel algorithms. ICECS 2000: 261-267 - [c9]Ali E. Abdallah, G. Simiakakis, Theoharis Theoharis:
Formal development of a reconfigurable tool for parallel DNA matching. ICECS 2000: 268-272 - [c8]Ali E. Abdallah:
Filter Promotion Transformation Strategies for Deriving Efficient Programs from Z Specifications. ICFEM 2000: 157-168 - [c7]Ali E. Abdallah, Mark Green
An Integrated CSP-Based Tool for the Visualisation, Animation and Performance Evaluation of Message Passing Algorithms. ICFEM 2000: 189-198
1990 – 1999
- 1999
- [c6]Theoharis Theoharis, Ali E. Abdallah:
Formal Derivation of Two Parallel Rendering Algorithms. PDPTA 1999: 1444-1450 - [c5]Mark Green, Ali E. Abdallah:
Interfacing Java with Haskell. Scottish Functional Programming Workshop 1999: 79-88 - 1998
- [c4]Ali E. Abdallah:
A Graphical Tool for the Visualization and Animation of Communicating Sequential Processes. Euro-Par 1998: 165-172 - 1997
- [c3]Ali E. Abdallah, Theoharis Theoharis:
Derivation of Efficient Parallel Algorithms on a Ring of Processors. Euro-PDS 1997: 61-66 - 1996
- [c2]Ali E. Abdallah:
Synthesis of Massively Pipelined Algorithms for List Manipulation. Euro-Par, Vol. II 1996: 911-920 - 1995
- [c1]Ali E. Abdallah:
Derivation of Parallel Algorithms from Functional Specifications to CSP Processes. MPC 1995: 67-96
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from ,
, and
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and
to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from .
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-08-05 20:18 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by: