| |
Electron. Notes Theor. Comput. Sci., Vol. 168 (2007), pp. 5-28.
|
| |
|
| |
|
| |
Electronic Notes in Theoretical Computer Science In Proceedings of the Workshop "Essays on Algebraic Process Calculi" (APC 25), Vol. 162 (29 September 2006), pp. 277-279.
|
| |
|
| |
|
| |
Journal of Information and Computation, Vol. 121, No. 2. (September 1995), pp. 234-255.
|
| |
|
| |
|
| |
sera, Vol. 0 (2007), pp. 203-212.
|
| |
Journal of Logic, Language and Information, Vol. 12, No. 4. (2003), pp. 381-408.
|
| |
|
| |
csfw In Proceedings of the 15th IEEE Computer Security Foundations Workshop (CSFW'02), Vol. 00 (2002), pp. 119-128.
|
| |
Computer Security Foundations Workshop, 2004. Proceedings. 17th IEEE In Computer Security Foundations Workshop, 2004. Proceedings. 17th IEEE (2004), pp. 280-291.
|
| |
Journal of Computer Security, Vol. 12, No. 1. (January 2004), pp. 3-36.
|
| |
In Proceedings of the 8th Privacy Enhancing Technologies Symposium (PETS'08) (July 2008), pp. 77-98.
|
| |
In Proceedings of the 2003 ACM Workshop on Privacy in the Electronic Society (WPES'03) (2003), pp. 79-88.
|
| |
Journal of Computer Security, Vol. 12, No. 3. (2004), pp. 355-377.
|
| |
IEEE Transactions on Knowledge and Data Engineering (June 2008)
|
| |
Journal of Information and Computation, Vol. 206, No. 2-4. (February 2008), pp. 378-401.
|
| |
PhD-thesis (October 2007)
|
| |
|
| |
ERCIM News, No. 49. (April 2002)
|
| |
IEEE Trans. Dependable Secur. Comput. In Dependable and Secure Computing, IEEE Transactions on, Vol. 1, No. 1. (January 2004), pp. 11-33.
|
| |
ACM Comput. Surv., Vol. 26, No. 3. (September 1994), pp. 211-254.
|
| |
In International workshop on Designing privacy enhancing technologies (2001), pp. 96-114.
|
| |
Communications of the ACM, Vol. 24, No. 2. (1981)
|
| |
|
| |
|
| |
In SP '05: Proceedings of the 2005 IEEE Symposium on Security and Privacy (2005), pp. 183-195.
|
| |
In WPES '07: Proceedings of the 2007 ACM workshop on Privacy in electronic society (2007), pp. 11-20.
|
| |
Privacy Enhancing Technologies (2007), pp. 134-152.
|
| |
Privacy Enhancing Technologies (2003), pp. 1-17.
|
| |
|
| |
Proceedings to Trustworthy Global Computing conference (TCG'06) (November 2006)
|
| |
Programming Languages and Systems (2007), pp. 379-394.
|
| |
J Biomed Inform, Vol. 37, No. 3. (June 2004), pp. 179-192.
|
| |
Int. J. Uncertain. Fuzziness Knowl.-Based Syst., Vol. 10, No. 5. (October 2002), pp. 557-570.
|
| |
Electronic Notes in Theoretical Computer Science, Vol. 168 (February 2007), pp. 159-174.
|
| |
Formal Aspects in Security and Trust (2007), pp. 65-79.
|
| |
Electron. Notes Theor. Comput. Sci., Vol. 180, No. 1. (June 2007), pp. 55-76.
|
| |
|
| |
In Fourth ACM Conference on Computer and Communications Security (1997), pp. 36-47.
|
| |
In The Computer Science and Engineering Handbook (1997)
|
| |
Theor. Comput. Sci., Vol. 367, No. 1. (November 2006), pp. 123-138.
|
| |
ACM Transactions on Information and System Security, Vol. 1, No. 1. (1998), pp. 66-92.
|
| |
In ASIACRYPT '92: Proceedings of the Workshop on the Theory and Application of Cryptographic Techniques (1993), pp. 244-251.
|
| |
Journal of Cryptography, Vol. 1, No. 1. (1988), pp. 65-75.
|
| |
Journal of Grid Computing, Vol. 1, No. 1., pp. 9-23.
|
| |
Theor. Comput. Sci. In Process Algebra, Vol. 335, No. 2-3. (23 May 2005), pp. 131-146.
|