|
Evènement pour le groupe Modélisation et Verification
Date | 2010-06-03 11:30-12:45 |
Titre | A 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. |
Lieu | Salle 076, LaBRI, Rez-de-chaussée |
Orateur | Camilo Rueda |
Email | camilo.rueda@gmail.com |
Url | Universidad Javeriana-Cali |
Aucun document lié à cet événement. RetourRetour à l'index
| |