Ali E. Abdallah

Affiliations:
  • Birmingham City University


According to our database1, Ali E. Abdallah authored at least 42 papers between 1995 and 2019.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

Online presence:

On csauthors.net:

Bibliography

2019
Securing Microservices.
IT Prof., 2019

Cyber threat intelligence sharing: Survey and research directions.
Comput. Secur., 2019

Decentralised and Collaborative Auditing of Workflows.
Proceedings of the Trust, Privacy and Security in Digital Business, 2019

2018
A Novel Trust Taxonomy for Shared Cyber Threat Intelligence.
Secur. Commun. Networks, 2018

Fine-Grained Access Control for Microservices.
Proceedings of the Foundations and Practice of Security - 11th International Symposium, 2018

2017
Relevance Filtering for Shared Cyber Threat Intelligence (Short Paper).
Proceedings of the Information Security Practice and Experience, 2017

Towards an Anonymity Supported Platform for Shared Cyber Threat Intelligence.
Proceedings of the Risks and Security of Internet and Systems, 2017

Performance Implication and Analysis of the OpenFlow SDN Protocol.
Proceedings of the 31st International Conference on Advanced Information Networking and Applications Workshops, 2017

A Trust Management Framework for Network Applications within an SDN Environment.
Proceedings of the 31st International Conference on Advanced Information Networking and Applications Workshops, 2017

2016
On the use of fingernail images as transient biometric identifiers - Biometric recognition using fingernail images.
Mach. Vis. Appl., 2016

2011
Privacy-enhancing Cryptography-based Materials.
Proceedings of the SECRYPT 2011 - Proceedings of the International Conference on Security and Cryptography, Seville, Spain, 18, 2011

2010
L-PEP: A Logic to Reason about Privacy-Enhancing Cryptography Protocols.
Proceedings of the Data Privacy Management and Autonomous Spontaneous Security, 2010

Threat modeling approaches and tools for securing architectural designs of an e-banking application.
Proceedings of the Sixth International Conference on Information Assurance and Security, 2010

Audited credential delegation - a user-centric identity management solution for computational grid environments.
Proceedings of the Sixth International Conference on Information Assurance and Security, 2010

Assurance in identity management systems.
Proceedings of the Sixth International Conference on Information Assurance and Security, 2010

2009
An exploration of the current state of information assurance education.
ACM SIGCSE Bull., 2009

Formal Modelling of PKI Based Authentication.
Electron. Notes Theor. Comput. Sci., 2009

Formal Modelling of a Usable Identity Management Solution for Virtual Organisations
Proceedings of the Proceedings Second Workshop on Formal Aspects of Virtual Organisations, 2009

Architectures for identity management.
Proceedings of the 4th International Conference for Internet Technology and Secured Transactions, 2009

Abstractions of Web Services.
Proceedings of the 14th IEEE International Conference on Engineering of Complex Computer Systems, 2009

2008
Composition and Customization of Web Services Using Wrappers: A Formal Approach Based on CSP.
Proceedings of the 32nd Annual IEEE Software Engineering Workshop, 2008

Composition of Web Services Using Wrappers.
Proceedings of the Leveraging Applications of Formal Methods, 2008

Weaving Authentication and Authorization Requirements into the Functional Model of a System Using Z Promotion.
Proceedings of the Leveraging Applications of Formal Methods, 2008

Comparison and Evaluation of Identity Management in Three Architectures for Virtual Organizations.
Proceedings of the Proccedings of the Fourth International Conference on Information Assurance and Security, 2008

Integrating Delegation with the Formal Core RBAC Model.
Proceedings of the Proccedings of the Fourth International Conference on Information Assurance and Security, 2008

2006
Formal Z Specifications of Several Flat Role-Based Access Control Models.
Proceedings of the 30th Annual IEEE / NASA Software Engineering Workshop (SEW-30 2006), 2006

2004
Hardware Synthesis of a Parallel JPEG Decoder from its Functional Specification.
Proceedings of the Design Methods and Applications for Distributed Embedded Systems, 2004

A Formal Model for Parameterized Role-Based Access Control.
Proceedings of the Formal Aspects in Security and Trust: Second IFIP TC1 WG1.7 Workshop on Formal Aspects in Security and Trust (FAST), 2004

2003
Formal Behavioural Synthesis of Handel-C Parallel Hardware Implementations from Functional Specifications.
Proceedings of the 36th Hawaii International Conference on System Sciences (HICSS-36 2003), 2003

2002
An Overview of Systematic Development of Parallel Systems for Reconfigurable Hardware (Research Note).
Proceedings of the Euro-Par 2002, 2002

2001
A Generic Functional Genetic Algorithm.
Proceedings of the 2001 ACS / IEEE International Conference on Computer Systems and Applications (AICCSA 2001), 2001

A Functional View of Parallel Computer Graphics.
Proceedings of the 2001 ACS / IEEE International Conference on Computer Systems and Applications (AICCSA 2001), 2001

2000
An Integrated CSP-Based Tool for the Visualisation, Animation and Performance Evaluation of Message Passing Algorithms.
Proceedings of the 3rd IEEE International Conference on Formal Engineering Methods, 2000

Filter Promotion Transformation Strategies for Deriving Efficient Programs from Z Specifications.
Proceedings of the 3rd IEEE International Conference on Formal Engineering Methods, 2000

Formal development of a reconfigurable tool for parallel DNA matching.
Proceedings of the 2000 7th IEEE International Conference on Electronics, 2000

Calculational design of special purpose parallel algorithms.
Proceedings of the 2000 7th IEEE International Conference on Electronics, 2000

1999
Interfacing Java with Haskell.
Proceedings of the Selected papers from the 1st Scottish Functional Programming Workshop (SFP99), 1999

Formal Derivation of Two Parallel Rendering Algorithms.
Proceedings of the International Conference on Parallel and Distributed Processing Techniques and Applications, 1999

1998
A Graphical Tool for the Visualization and Animation of Communicating Sequential Processes.
Proceedings of the Euro-Par '98 Parallel Processing, 1998

1997
Derivation of Efficient Parallel Algorithms on a Ring of Processors.
Proceedings of the IASTED International Conference on Parallel and Distributed Systems, 1997

1996
Synthesis of Massively Pipelined Algorithms for List Manipulation.
Proceedings of the Euro-Par '96 Parallel Processing, 1996

1995
Derivation of Parallel Algorithms from Functional Specifications to CSP Processes.
Proceedings of the Mathematics of Program Construction, 1995


  Loading...