Séance de cours

Principes I : Économie des mécanismes et défauts de sécurité

Graph Chat

Chattez avec Graph Search

Posez n’importe quelle question sur les cours, conférences, exercices, recherches, actualités, etc. de l’EPFL ou essayez les exemples de questions ci-dessous.

AVERTISSEMENT : Le chatbot Graph n'est pas programmé pour fournir des réponses explicites ou catégoriques à vos questions. Il transforme plutôt vos questions en demandes API qui sont distribuées aux différents services informatiques officiellement administrés par l'EPFL. Son but est uniquement de collecter et de recommander des références pertinentes à des contenus que vous pouvez explorer pour vous aider à répondre à vos questions.

Dans cours

COM-301: Computer security and privacy

This is an introductory course to computer security and privacy. Its goal is to provide students with means to reason about security and privacy problems, and provide them with tools to confront them. ...

Description

Cette séance de cours couvre l'importance des principes de sécurité, en mettant l'accent sur le principe de «l'économie du mécanisme» qui met l'accent sur la simplicité dans la conception de la sécurité pour faciliter l'audit, et le principe de «fail-safe default» qui préconise de baser les décisions d'accès sur la permission plutôt que sur l'exclusion pour assurer la sécurité même en cas de défaillance.

Enseignant·e·s (2)

Edouard Bugnion

Edouard Bugnion joined EPFL in 2012, where his focus is on datacenter systems. His areas of interest include operating systems, datacenter infrastructure (systems and networking), and computer architecture. Before joining EPFL, Edouard spent 18 years in the US, where he studied at Stanford and co-founded two startups: VMware and Nuova Systems (acquired by Cisco). At VMware from 1998 until 2005, he played many roles including CTO. At Nuova/Cisco from 2005 until 2011, he helped build the core engineering team and became the VP/CTO of Ciscos Server, Access, and Virtualization Technology Group, a group that brought to market Ciscos Unified Computing System (UCS) platform for virtualized datacenters. Prof. Bugnion is a Fellow of the ACM. Together with his colleagues, he received the ACM Software System Award for VMware 1.0 in 2009. His paper Disco: Running Commodity Operating Systems on Scalable Multiprocessors" received a Best Paper Award at SOSP '97 and was entered into the ACM SIGOPS Hall of Fame Award in 2008. At EPFL, he received the OSDI 2014 Best Paper Award for his work on the IX dataplane operating system

Carmela González Troncoso

Enseignement et PhD Doctorant·es actuel·les Saiid El Hajj Chehade, Eric Jollès, Christian Knabenhans, Boya Wang, Mathilde Aliénor Raynal A dirigé les thèses EPFL de Sandra Deepthy Siby, Sylvain Chatel, Christian Vincent Mouchet, Bogdan Kulynych, Kasra Edalatnejadkhamene, Sinem Sav, Theresa Stadler, Klim Kireev Cours Privacy at the communication layer CS-721

Source officielle

Concepts associés (17)

Logiciel libre

thumb|200px|Logo du projet GNU, initiateur du mouvement du logiciel libre.|alt=Gnou du projet GNU Un logiciel libre est un logiciel dont l'utilisation, l'étude, la modification et la duplication par autrui en vue de sa diffusion sont permises, techniquement et juridiquement, ceci afin de garantir certaines libertés induites, dont le contrôle du programme par l'utilisateur et la possibilité de partage entre individus. Ces droits peuvent être simplement disponibles ou bien établis par une licence, dite « libre », basée sur le droit d'auteur.

Logiciel

thumb|Démarche de construction d'un logiciel. En informatique, un logiciel est un ensemble de séquences d’instructions interprétables par une machine et d’un jeu de données nécessaires à ces opérations. Le logiciel détermine donc les tâches qui peuvent être effectuées par la machine, ordonne son fonctionnement et lui procure ainsi son utilité fonctionnelle. Les séquences d’instructions appelées programmes ainsi que les données du logiciel sont ordinairement structurées en fichiers.

Logiciel propriétaire

Un logiciel propriétaire, logiciel non libre ou parfois logiciel privatif voire logiciel privateur, est un logiciel qui ne permet pas légalement ou techniquement, ou par quelque autre moyen que ce soit, d'exercer simultanément les quatre libertés logicielles que sont l'exécution du logiciel pour tout type d'utilisation, l'étude de son code source (et donc l'accès à ce code source), la distribution de copies, ainsi que la modification du code source.

Craquage (informatique)

La craquage d'un logiciel (en anglais, cracking ou breaking dans les années 1980) est la modification d'un logiciel pour supprimer ou désactiver des fonctionnalités jugées indésirables par la personne qui craque le logiciel, en particulier les fonctions de protection contre la violation de droit d'auteur, l'affichage de publicité et l'affichage de propositions d'acheter la version payante du logiciel. Une crack désigne l'outil qui permet de réaliser le craquage. Ces outils peuvent être des générateurs de clés, des patches ou des loaders.

Market mechanism

In economics, the market mechanism is a mechanism by which the use of money exchanged by buyers and sellers with an open and understood system of value and time trade-offs in a market tends to optimize distribution of goods and services in at least some ways. The mechanism can exist in free markets or in captive or controlling markets seek to use supply and demand, or some other form of charging for scarcity, to choose among production possibilities.

Afficher plus

Séances de cours associées (36)

Paramètres hydrologiques Optimisation

Couvre l'optimisation des paramètres hydrologiques à l'aide du logiciel RS MINERVE et analyse la meilleure solution.

Conception et Fondamentaux des Systèmes Numériques

Explore la construction et les concepts clés des systèmes numériques, y compris la représentation binaire, les différences matériel-logiciel et les options de mise en œuvre.

Génération Orthoplans avec Faro Scene LT

Explore la génération d'orthoplans à l'aide du logiciel Faro Scene LT et couvre les outils de régénération de modèles et de présentation d'objets.

Vérification de la sécurité à travers le matériel et les logiciels

Couvre la vérification de la sécurité du matériel et des logiciels, y compris les algorithmes et les techniques vérifiés pour éliminer les fuites spéculatives.

1.1 What is safety

Afficher plus

Concepts associés (17)

Logiciel libre

Logiciel

Logiciel propriétaire

Craquage (informatique)

Market mechanism

Afficher plus