Rompiendo datos. Establece la integridad sin el uso de un nuevo tipo de archivo generalizado.

Question

Oct 04, 2012, 10:23 PM

security type-safety language-extension haskell

Rompiendo datos. Establece la integridad sin el uso de un nuevo tipo de archivo generalizado.

El siguiente código utiliza un inseguroGeneralizedNewtypeDeriving extensión para romperData.Set insertando diferentes elementos con diferenteOrd instancias:

{-# LANGUAGE GeneralizedNewtypeDeriving #-}
import Data.Set
import System.Random

class AlaInt i where
  fromIntSet :: Set Integer -> Set i
  toIntSet :: Set i -> Set Integer
instance AlaInt Integer where
  fromIntSet = id
  toIntSet = id
newtype I = I Integer deriving (Eq, Show, AlaInt)
instance Ord I where compare (I n1) (I n2) = compare n2 n1 -- sic!  

insert' :: Integer -> Set Integer -> Set Integer
insert' n s = toIntSet $ insert (I n) $ fromIntSet s

randomInput = take 5000 $ zip (randomRs (0,9) gen) (randoms gen) where
    gen = mkStdGen 911

createSet = Prelude.foldr f empty where
    f (e,True) = insert e
    f (e,False) = insert' e

main = print $ toAscList $ createSet randomInput

El codigo imprime[1,3,5,7,8,6,9,6,4,2,0,9]. Tenga en cuenta que la lista no está ordenada y tiene9 dos veces.

¿Es posible realizar este ataque de intercambio de diccionario utilizando otras extensiones, p. Ej.ConstraintKinds? Si si, puedeData.Set ¿Ser rediseñado para ser resistente a tales ataques?