A formalization of anonymity and onion routing

Autor: Mauw, S., Verschuren, J.H.S., Vink, de, E.P., Samarati, P., Ryan, P., Gollmann, D., Molva, R.

Publikováno v: Computer Security – ESORICS 2004 ISBN: 9783540229872
ESORICS
Computer Security-ESORICS 2004 (Proceedings 9th European Symposium on Research in Computer Security, Sophia Antipolis, France, September 13-15, 2004), 109-124
STARTPAGE=109;ENDPAGE=124;TITLE=Computer Security-ESORICS 2004 (Proceedings 9th European Symposium on Research in Computer Security, Sophia Antipolis, France, September 13-15, 2004)

The use of formal methods to verify security protocols with respect to secrecy and authentication has become standard practice. In contrast, the formalization of other security goals, such as privacy, has received less attention. Due to the increasin

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::ee97efb18fe279bdf24c14760eab5910
https://research.tue.nl/en/publications/0f98484b-7539-4404-925e-8965907014f3

Privacy in Content-Based Opportunistic Networks.

Autor: Shikfa, A., Onen, M., Molva, R.

Publikováno v: 2009 International Conference on Advanced Information Networking & Applications Workshops; 2009, p832-837, 6p

Safebook: Feasibility of transitive cooperation for privacy on a decentralized social network.

Autor: Cutillo, L.A., Molva, R., Strufe, T.

Publikováno v: 2009 IEEE International Symposium on a World of Wireless, Mobile & Multimedia Networks & Workshops; 2009, p1-6, 6p

Efficient access control for wireless sensor data.

Autor: Sorniotti, A., Molva, R., Gomez, L.

Publikováno v: 2008 IEEE 19th International Symposium on Personal, Indoor & Mobile Radio Communications; 2008, p1-5, 5p

Towards secure and trusted collaboration environment for European public sector.

Autor: Svirskas, A., Isachenkova, J., Molva, R.

Publikováno v: 2007 International Conference on Collaborative Computing: Networking, Applications & Worksharing (CollaborateCom 2007); 2007, p49-56, 8p