Je sais pas si ca a changé depuis la dernière fois que je me suis intéressé aux specs du langage, mais dans mes souvenirs on pouvait allègrement mixé du Lisaac avec du code écrit en C. Partant de là, niveau preuve et sécu...
C'est évident que rien ne sera prouvé sur le C ! et on ne parle pas de sécurité mais de prouver les contrats, cela n'a à peu pret rien voir.
" Tu crois que les lib fleuves sont l'aboutissement de tout langage ?"
C'est quoi le rapport ?
Le même rapport qu'il y a avec "comme il est sans doute possible de le faire en Lisaac, mais ce dernier ne va pas apporter grand chose comme a pu apporter la locomotive par rapport à la charrette."
En fait, les principales protections contre les flash sont logiciels en "étalant l'exécution" pour détecter une erreur de cohérence. Pas mal. Mais, générer une erreur est déjà une information en soit.
La grille est inefficace pour les attaques laser, puisque l'on a accès au dessous de la puce, qui n'est pas protégé.
Je suis heureux de lire en enfin quelqu'un qui écrit : "Etant donné un équipement illimité et un temps illimité, c'est toujours le craqueur qui va gagner. " C'est pour relativiser ceux qui pense que la carte à puce est inviolable...
Il existe des cartes qui résistent à ses attaques ? J'aimerais bien savoir comment.
Pour info, le laser s'amuse à faire changer de localement la valeur d'un bit. Cela permet de modifier l'état interne de la puce et de faire plein de chose.
Les contre mesure que j'imagine, c'est des photodiodes qui détectent le laser et qui bloquent définitivement la carte. Mais qu'est-ce qui empêche de prendre une autre carte et de taper à coter de la photodiode ?
"Une preuve fausse n'a pas beaucoup d'intérêt."
Si, on sait qu'on peut foutre le programme à la poubelle, ou au moins le corriger pour le rendre valide.
Je dirais même plus, c'est le plus utile !
Il est souvent beaucoup plus facile de trouver un contre exemple à un moteur de preuve que de d'assurer que l'ensemble des possibles est couvert.
De plus, d'un point de vue psychologie d'un programmeur, on comprend mieux une erreur avec le contre exemple qui force la correction. Si le programme rend "prouvé", il y a beaucoup de monde qui n'y croira pas.
Cela signifie qu'il vaut mieux chercher "large" que tenter de prouver complètement des bouts minuscules.
Les 2 téchniques que je connais c'est la résolution d'équation logiques SAT et les BDD (parcoure de tous les états possible).
C'est le moyen de faire une preuve "définitive" mais qui finit toujours par exploser en temps. Dans ce cas, des méthodes basé sur un montecarlo peut tout à fait fonctionner pour trouver un contre exemple.
J'avais lu que les meilleurs écrans stéréscopique avait besoin de générer 9 images et non 2. La limite dans ce cas était la résolution disponible de l'image final.
"il n'apportera pas la sécurité qu'apporte un programme écrit en B ou même en Java,"
Il faudra argumenter un peu plus tout de même...
Ou alors, c'est juste une tentative de troll de plus ?
il ne permettra pas d'écrire des programmes plus complexes que dans un autre langage (la limite étant surtout liée aux compétences humaines et non techniques),
C'est sûr qu'il n'y a aucune différence de productivité entre l'assembleur et le C, le C et Java, Java et Perl.
J'avais fait le calcul il y a quelques temps, les DVD coutaient bien plus chères. Mais depuis la taille des HD a monté et leur prix moyen est passé de 1000F à 100€.
Si tu n'as plus de place dans la tour, un bon disque externe en e-sata devrait bien faire l'affaire (globalement, je n'aime pas trop l'usb). Voir même un petit NAS 3"5. Un disque de 500Go vaut 100€.
L'avantage du disque dur est que tu vois quand il meure au contraire d'un DVD. Si tu veux graver les films, un CD est plus fiable qu'un DVD, le control d'erreur est plus "puissant".
"? pourquoi un gros cache disque améliore la vitesse de lecture? "
Parce que souvent il a été déjà lu ou parce qu'il vient d'être écrit. On peut aussi parler du cache de metadata qui peut grandement accélérer la lecture de répertoire encombré.
Si tu es limites niveau RAM, Linux ne peut pas en utiliser comme cache disque. Pourtant cela augmenterait énormément la vitesse en lecture. Et cela peut donc faire une énorme différence sur la réactivité de la machine.
[^] # Re: C'est trop compliqué !
Posté par Nicolas Boulay (site web personnel) . En réponse au journal Des langages de haut niveau. Évalué à 2.
Cela me fait marrer de lire ça ! Surtout sans rien connaitre de Lisaac ou presque et de sa todo list.
"La première sécurité est la liberté"
[^] # Re: C'est trop compliqué !
Posté par Nicolas Boulay (site web personnel) . En réponse au journal Des langages de haut niveau. Évalué à 2.
C'est évident que rien ne sera prouvé sur le C ! et on ne parle pas de sécurité mais de prouver les contrats, cela n'a à peu pret rien voir.
" Tu crois que les lib fleuves sont l'aboutissement de tout langage ?"
C'est quoi le rapport ?
Le même rapport qu'il y a avec "comme il est sans doute possible de le faire en Lisaac, mais ce dernier ne va pas apporter grand chose comme a pu apporter la locomotive par rapport à la charrette."
"La première sécurité est la liberté"
[^] # Re: DES?
Posté par Nicolas Boulay (site web personnel) . En réponse au journal Bye bye les tags mifare. Évalué à 2.
La grille est inefficace pour les attaques laser, puisque l'on a accès au dessous de la puce, qui n'est pas protégé.
Je suis heureux de lire en enfin quelqu'un qui écrit : "Etant donné un équipement illimité et un temps illimité, c'est toujours le craqueur qui va gagner. " C'est pour relativiser ceux qui pense que la carte à puce est inviolable...
"La première sécurité est la liberté"
[^] # Re: bon
Posté par Nicolas Boulay (site web personnel) . En réponse au journal Soekris sous linux. Évalué à 2.
http://f-cpu.seul.org/~nico/astromech/astrolinux/astrolinux.(...)
"La première sécurité est la liberté"
[^] # Re: DES?
Posté par Nicolas Boulay (site web personnel) . En réponse au journal Bye bye les tags mifare. Évalué à 2.
Il existe des cartes qui résistent à ses attaques ? J'aimerais bien savoir comment.
Pour info, le laser s'amuse à faire changer de localement la valeur d'un bit. Cela permet de modifier l'état interne de la puce et de faire plein de chose.
Les contre mesure que j'imagine, c'est des photodiodes qui détectent le laser et qui bloquent définitivement la carte. Mais qu'est-ce qui empêche de prendre une autre carte et de taper à coter de la photodiode ?
"La première sécurité est la liberté"
[^] # Re: C'est trop compliqué !
Posté par Nicolas Boulay (site web personnel) . En réponse au journal Des langages de haut niveau. Évalué à 2.
Si, on sait qu'on peut foutre le programme à la poubelle, ou au moins le corriger pour le rendre valide.
Je dirais même plus, c'est le plus utile !
Il est souvent beaucoup plus facile de trouver un contre exemple à un moteur de preuve que de d'assurer que l'ensemble des possibles est couvert.
De plus, d'un point de vue psychologie d'un programmeur, on comprend mieux une erreur avec le contre exemple qui force la correction. Si le programme rend "prouvé", il y a beaucoup de monde qui n'y croira pas.
Cela signifie qu'il vaut mieux chercher "large" que tenter de prouver complètement des bouts minuscules.
Les 2 téchniques que je connais c'est la résolution d'équation logiques SAT et les BDD (parcoure de tous les états possible).
C'est le moyen de faire une preuve "définitive" mais qui finit toujours par exploser en temps. Dans ce cas, des méthodes basé sur un montecarlo peut tout à fait fonctionner pour trouver un contre exemple.
"La première sécurité est la liberté"
[^] # Re: RELIEF
Posté par Nicolas Boulay (site web personnel) . En réponse au journal Une véritable interface en 3 dimensions. Évalué à 2.
"La première sécurité est la liberté"
[^] # Re: C'est trop compliqué !
Posté par Nicolas Boulay (site web personnel) . En réponse au journal Des langages de haut niveau. Évalué à 2.
Pour l'instant, est implémentée la preuve pour les appel sur un objet null. Le compilo prouve que 95% des appels seront bon. C'est un bon début !
"mais ce dernier ne va pas apporter grand chose comme a pu apporter la locomotive par rapport à la charette."
Et qu'est-ce qui permet de dire cela ? Tu crois que les lib fleuves sont l'aboutissement de tout langage ?
"La première sécurité est la liberté"
[^] # Re: C'est trop compliqué !
Posté par Nicolas Boulay (site web personnel) . En réponse au journal Des langages de haut niveau. Évalué à 2.
Il faudra argumenter un peu plus tout de même...
Ou alors, c'est juste une tentative de troll de plus ?
il ne permettra pas d'écrire des programmes plus complexes que dans un autre langage (la limite étant surtout liée aux compétences humaines et non techniques),
C'est sûr qu'il n'y a aucune différence de productivité entre l'assembleur et le C, le C et Java, Java et Perl.
Petit trolleur !
"La première sécurité est la liberté"
[^] # Re: C'est trop compliqué !
Posté par Nicolas Boulay (site web personnel) . En réponse au journal Des langages de haut niveau. Évalué à 2.
"La première sécurité est la liberté"
[^] # Re: mon avis...
Posté par Nicolas Boulay (site web personnel) . En réponse au message Question idiote / archivage videos. Évalué à 2.
Si tu n'as plus de place dans la tour, un bon disque externe en e-sata devrait bien faire l'affaire (globalement, je n'aime pas trop l'usb). Voir même un petit NAS 3"5. Un disque de 500Go vaut 100€.
L'avantage du disque dur est que tu vois quand il meure au contraire d'un DVD. Si tu veux graver les films, un CD est plus fiable qu'un DVD, le control d'erreur est plus "puissant".
"La première sécurité est la liberté"
[^] # Re: mon avis...
Posté par Nicolas Boulay (site web personnel) . En réponse au message Question idiote / archivage videos. Évalué à 2.
"La première sécurité est la liberté"
# distribution dédiée
Posté par Nicolas Boulay (site web personnel) . En réponse au message Cherche logiciel pour médecin (Belge).. Évalué à 2.
http://www.debian.org/devel/debian-med/practice.fr.html
et ça:
http://2007.rmll.info/rubrique8.html
"La première sécurité est la liberté"
[^] # Re: Gestion d'erreur lisaac
Posté par Nicolas Boulay (site web personnel) . En réponse au journal Des langages de haut niveau. Évalué à 3.
Par contre, il faut faire attention aux contrats: ils sont censé être sans effet de bord !
"La première sécurité est la liberté"
[^] # Re: Utilisation
Posté par Nicolas Boulay (site web personnel) . En réponse au journal mon EEEpc. Évalué à 2.
"La première sécurité est la liberté"
[^] # Re: Utilisation
Posté par Nicolas Boulay (site web personnel) . En réponse au journal mon EEEpc. Évalué à 2.
Mais, c'est vrai que le cache n'a pas toujours d'utilité.
"La première sécurité est la liberté"
[^] # Re: Utilisation
Posté par Nicolas Boulay (site web personnel) . En réponse au journal mon EEEpc. Évalué à 2.
Parce que souvent il a été déjà lu ou parce qu'il vient d'être écrit. On peut aussi parler du cache de metadata qui peut grandement accélérer la lecture de répertoire encombré.
"La première sécurité est la liberté"
[^] # Re: terminal X
Posté par Nicolas Boulay (site web personnel) . En réponse au journal mon EEEpc. Évalué à 2.
Et si on utilise le port 80 ? ou un tunnel ?
"La première sécurité est la liberté"
[^] # Re: ram ?
Posté par Nicolas Boulay (site web personnel) . En réponse au journal mon EEEpc. Évalué à 2.
"La première sécurité est la liberté"
[^] # Re: terminal X
Posté par Nicolas Boulay (site web personnel) . En réponse au journal mon EEEpc. Évalué à 2.
Certe, cela n'est pas lié à l'EEE mais c'est pour avoir une idée du trafic pratique provoqué par une session ssh et de webmail.
"La première sécurité est la liberté"
[^] # Re: Utilisation
Posté par Nicolas Boulay (site web personnel) . En réponse au journal mon EEEpc. Évalué à 2.
"La première sécurité est la liberté"
[^] # Re: Utilisation
Posté par Nicolas Boulay (site web personnel) . En réponse au journal mon EEEpc. Évalué à 2.
"La première sécurité est la liberté"
# ram ?
Posté par Nicolas Boulay (site web personnel) . En réponse au journal mon EEEpc. Évalué à 2.
"La première sécurité est la liberté"
# Dépêche ?
Posté par Nicolas Boulay (site web personnel) . En réponse au message jouer librement.... Évalué à 2.
La plus part du temps les jeux libres que je lance son soit antidéluviens (xbill) soit franchement pas fini.
Sinon je peux te citer xmoto de mémoire. Marrant mais super difficile.
"La première sécurité est la liberté"
# docs ?
Posté par Nicolas Boulay (site web personnel) . En réponse au message documentation vfs / ext2/3/4. Évalué à 2.
"La première sécurité est la liberté"