Asanimportantcomponentofinternetofthings,electronicproductcode(EPC)systemiswidelyusedinmanyareas.However,themassdeploymentofEPCsystemisfrequentlydegradedbysecurityandprivacyproblems.Therefore,themajorresearchesfocusonthedesignofasecureEPCsystemwithhighefficiency.ThispaperdiscussesthesecurityrequirementsofEPCsystemandpresentsauniversalcomposable(UC)modelforEPCsystem,theidealfunctionalityofEPCsystemisalsoformallydefinedwiththeUCframework.ThenasecureprotocolforEPCsystemunderUCframeworkisproposedandtheanalysisofsecurityandperformanceoftheproposedprotocolisgiven,incomparisonwithotherprotocols,theresultsshowthattheproposedprotocolisUCsecureandcanprovideprivacyprotection,untraceability,authorizedaccess,anonymityandconcurrentsecurityforEPCsystem.Furthermore,lesscomputationandstorageresourcearerequiredbytheproposedprotocol.
