En réponse à :
@Marsu,
J’ai beaucoup travaillé sur les modèles de sécurité formels exprimés en logique déontique (SDL) , épistémique, ...
Le modèle de non déduction est un modèle logique utilisant ce qui est connu vulgairement sous le nom de Théorie de l’information de Shannon que l’on retrouve dans l’ouvrage C. Shannon and E. Weaver. The Mathematical Theory of Communication. University of Illinois Press, Urbana, IL, 1963. Cette approche logique a pour but de surveiller l’activité dynamique d’un ordinateur.
Ajouter une réaction
Pour réagir, identifiez-vous avec votre login / mot de passe, en haut à droite de cette page
Si vous n'avez pas de login / mot de passe, vous devez vous inscrire ici.
FAIRE UN DON
Articles les plus lus
- L’Ukraine n’est pas l’Europe
- N’est-ce pas Bruno Le Maire qui devrait être licencié ?
- L’imposture de l’aide américaine
- L’UE sanctionne l’IRAN, un comble !
- Qui est responsable de « l’orange mécanique » 2024 ?
- Le milliardaire ne paye ni la TVA, ni taxe carburant
- Conférence Lille : Mélenchon & Hassan : MOTUS !
- C’est reparti, comme avant chaque élection
- Macron, champion olympique ?
- GRANDE-SYNTHE : Marre des marches blanches, des nounours et bouquets de fleurs
Agoravox utilise les technologies du logiciel libre : SPIP, Apache, Ubuntu, PHP, MySQL, CKEditor.
Site hébergé par la Fondation Agoravox
A propos / Contact / Mentions légales / Cookies et données personnelles / Charte de modération