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 
UrlUniversidad Javeriana-Cali 

Aucun document lié à cet événement.

Retour à l'index