le 23 avril 2015 à 14:00
“Les méthodes formelles comme lien entre les règles légales et le code logiciel : le cas de la vie privée "
Résumé : L’évolution rapide du paysage technologique et l’impact des technologies de l’information sur la vie quotidienne des citoyens posent de nouveaux défis qui ne peuvent être relevés par une approche purement technologique. D’une manière générale, les moyens juridiques et techniques devraient se compléter pour réduire les risques pour les citoyens et les consommateurs : d’un côté, les lois (ou les contrats) peuvent fournir des assurances qui sont hors de portée des moyens techniques (ou faire face à des situations où les moyens techniques seraient défaits); d’autre part, la technologie peut aider à faire respecter les engagements juridiques et contractuels. Cette synergie ne doit cependant pas être tenue pour acquise, et si les questions juridiques ne sont pas prises en compte dès le départ, les décisions technologiques prises pendant la phase de conception peuvent très bien entraver ou rendre impossible l’application des droits légaux. Cependant, la prise en compte des contraintes juridiques dans la phase de conception est un défi en soi, notamment en raison de l’écart entre les communautés juridiques et techniques et des difficultés à établir une compréhension commune des concepts en question. Dans cet exposé, nous préconiserons l’utilisation de méthodes officielles pour réduire cet écart, en prenant des exemples dans le domaine de la protection de la vie privée.
français
English