| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Almudena Alcaide, Esther Palomar, Israel Barroso-Perez, Ali E. Abdallah |
Privacy-enhancing Cryptography-based Materials.  |
SECRYPT  |
2011 |
DBLP BibTeX RDF |
|
| 1 | Caroline Moeckel, Ali E. Abdallah |
Threat modeling approaches and tools for securing architectural designs of an e-banking application. |
IAS |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | 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 |
DBLP DOI BibTeX RDF |
|
| 1 | Maya I. Chehab, Ali E. Abdallah |
Assurance in identity management systems. |
IAS |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Almudena Alcaide, Ali E. Abdallah, Ana Isabel González-Tablas Ferreres, José María de Fuentes |
L-PEP: A Logic to Reason about Privacy-Enhancing Cryptography Protocols. |
DPM/SETOP |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Ali Nasrat Haidar, Ali E. Abdallah |
Formal Modelling of PKI Based Authentication. |
Electr. Notes Theor. Comput. Sci. |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Ali Nasrat Haidar, Peter V. Coveney, Ali E. Abdallah, Peter Y. A. Ryan, Bruce Beckles, J. M. Brooke, M. A. S. Jones |
Formal Modelling of a Usable Identity Management Solution for Virtual Organisations |
FAVO |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Maya I. Chehab, Ali E. Abdallah |
Architectures for identity management. |
ICITST |
2009 |
DBLP BibTeX RDF |
|
| 1 | Ali Nasrat Haidar, Ali E. Abdallah |
Abstractions of Web Services. |
ICECCS |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Ali Nasrat Haidar, Ali E. Abdallah |
Comparison and Evaluation of Identity Management in Three Architectures for Virtual Organizations. |
IAS |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Ali E. Abdallah, Hassan Takabi |
Integrating Delegation with the Formal Core RBAC Model. |
IAS |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Ali Nasrat Haidar, Ali E. Abdallah |
Weaving Authentication and Authorization Requirements into the Functional Model of a System Using Z Promotion. |
ISoLA |
2008 |
DBLP DOI BibTeX RDF |
Weaving Security into Functional Models, Z Promotion, Authentication, Authorization, Security Requirements, Z specification |
| 1 | Ali Nasrat Haidar, Ali E. Abdallah |
Composition of Web Services Using Wrappers. |
ISoLA |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Ali E. Abdallah, Etienne J. Khayat |
Formal Z Specifications of Several Flat Role-Based Access Control Models. |
SEW |
2006 |
DBLP DOI BibTeX RDF |
Authorization, Role-Based Access Control, Formal Models, Z specification |
| 1 | Ali E. Abdallah, Cliff B. Jones, Jeff W. Sanders (eds.) |
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 |
25 Years CSP |
2005 |
DBLP BibTeX RDF |
|
| 1 | Ali E. Abdallah, Etienne J. Khayat |
A Formal Model for Parameterized Role-Based Access Control. |
Formal Aspects in Security and Trust |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | John Hawkins, Ali E. Abdallah |
Hardware Synthesis of a Parallel JPEG Decoder from its Functional Specification. |
DIPES |
2004 |
DBLP BibTeX RDF |
|
| 1 | Ali E. Abdallah, Peter Ryan, Steve Schneider (eds.) |
Formal Aspects of Security, First International Conference, FASec 2002, London, UK, December 16-18, 2002, Revised Papers |
FASec |
2003 |
DBLP BibTeX RDF |
|
| 1 | Ali E. Abdallah, John Hawkins |
Formal Behavioural Synthesis of Handel-C Parallel Hardware Implementations from Functional Specifications. (PDF / PS) |
HICSS |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | John Hawkins, Ali E. Abdallah |
An Overview of Systematic Development of Parallel Systems for Reconfigurable Hardware (Research Note). |
Euro-Par |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Ali E. Abdallah, Theoharis Theoharis |
A Functional View of Parallel Computer Graphics. |
AICCSA |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | John Hawkins, Ali E. Abdallah |
A Generic Functional Genetic Algorithm. |
AICCSA |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | Ali E. Abdallah |
Filter Promotion Transformation Strategies for Deriving Efficient Programs from Z Specifications. (PDF / PS) |
ICFEM |
2000 |
DBLP DOI BibTeX RDF |
filter promotion, parallelism, Specification, program transformation, refinement, communicating processes, accumulation |
| 1 | Ali E. Abdallah, Mark Green |
An Integrated CSP-Based Tool for the Visualisation, Animation and Performance Evaluation of Message Passing Algorithms. (PDF / PS) |
ICFEM |
2000 |
DBLP DOI BibTeX RDF |
performance evaluation, animation, visualisation, Communicating Sequential Processes, message-passing algorithms |
| 1 | Theoharis Theoharis, Ali E. Abdallah |
Formal Derivation of Two Parallel Rendering Algorithms. |
PDPTA |
1999 |
DBLP BibTeX RDF |
|
| 1 | Mark Green, Ali E. Abdallah |
Interfacing Java with Haskell. |
Scottish Functional Programming Workshop |
1999 |
DBLP BibTeX RDF |
|
| 1 | Ali E. Abdallah |
A Graphical Tool for the Visualization and Animation of Communicating Sequential Processes. |
Euro-Par |
1998 |
DBLP DOI BibTeX RDF |
|
| 1 | Ali E. Abdallah, Theoharis Theoharis |
Derivation of Efficient Parallel Algorithms on a Ring of Processors. |
Euro-PDS |
1997 |
DBLP BibTeX RDF |
|
| 1 | Ali E. Abdallah |
Synthesis of Massively Pipelined Algorithms for List Manipulation. |
Euro-Par, Vol. II |
1996 |
DBLP DOI BibTeX RDF |
|
| 1 | Ali E. Abdallah |
Derivation of Parallel Algorithms from Functional Specifications to CSP Processes. |
MPC |
1995 |
DBLP DOI BibTeX RDF |
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")