de Rham theory and cocycles of cubical sets from smooth quandles

We show a de Rham theory for cubical manifolds, and study rational homotopy type of the classifying spaces of smooth quandles. We also show that secondary characteristic classes in cite{Dup2,DK} produce cocycles of quandles.