The　Chinese　specification　for　trusted　computing,　which　has　similar　functions　with　those　defined　by　the　Trusted　Computing　Group　(TCG),　has　adopted　a　different　cryptography　scheme.　Applications　designed　for　the　TCG　specifications　cannot　directly　function　on　platforms　complying　with　Chinese　specifications　because　the　two　cryptography　schemes　are　not　compatible　with　each　other.　In　order　to　transplant　those　applications　with　little　to　no　modification,　the　paper　presents　a　formal　compatibility　model　based　on　Zaremski　and　Wing＇s　type　system.　Our　model　is　concerned　not　only　on　the　syntactic　compatibility　for　data　type,　but　also　on　the　semantic　compatibility　for　cryptographic　attributes　according　to　the　feature　of　trusted　computing.　A　compatibility　algorithm　is　proposed　based　on　the　model　to　generate　adapters　for　trusted　computing　applications.　©　2009　Wuhan　University　and　Springer　Berlin　Heidelberg.