Evènement pour le groupe Modélisation et Verification


Date 2010-06-03  11:30-12:45
TitreA formal framework for social Networking 
RésuméThe talk presents Popar, an ongoing project that aims at using several formal methods tools and techniques to develop a full-fledged social-network service implementing stipulated policies. The system includes a B method definition for social networking, modelling social-network content, privacy policies, social-networks friendship relations, and how these relations affect users' policies. This core is expected to be extended by third-party plug-ins in such a way that adherence to system policies is guaranteed by formal techniques such as proof-carrying code. 
LieuSalle 076, LaBRI, Rez-de-chaussée 
OrateurCamilo Rueda 
Emailcamilo.rueda@gmail.com 
UrlUniversidad Javeriana-Cali 



Aucun document lié à cet événement.

Retour
Retour à l'index