Copyright
Notice: The
following materials are presented to ensure timely
dissemination of scholarly and technical work. Copyright
and all rights therein are retained by authors or by other
copyright holders. All persons copying this information are
expected to adhere to the terms and constraints invoked by
each author's copyright. In most cases, these works may not
be reposted without the explicit permission of the
copyright
holder.
Policy-based
Encryption for Multiple Recipients with Policy Secrecy and
Efficient Key Distribution
Rakesh Bobba, Himanshu Khurana, Musab AlTurki and
Farhana Ashraf
Submitted for publication,
[Abstract] [Pre-print] [BibTeX]
Probabilistic Modeling and
Analysis of DoS Protection for the ASV Protocol
Musab AlTurki, José Meseguer and Carl A. Gunter
In Proceedings of SecReT'08: The 3rd International Workshop
on Security and Rewriting Techniques, Pittsburgh, PA, USA,
June 2008
[Abstract] [Pre-print] [BibTeX]
Reduction Semantics and Formal Analysis of
Orc Programs
Musab AlTurki and José Meseguer
ENTCS 200(3): 25-41 (2008)
Proceedings of WWV'07: The 3rd International Workshop on
Automated Specification and Verification of Web Systems,
Venice, Italy, December 2007
[Abstract] [Pre-print] [BibTeX]
Real-Time Rewriting Semantics of
Orc
Musab AlTurki and José Meseguer
In Proceedings of PPDP'07: The 9th ACM SIGPLAN
International Symposium on Principles and Practice of
Declarative Programming, Wroclaw, Poland, July 2007
[Abstract] [Pre-print] [BibTeX]