Process algebra is the theories for concurrency. Now the methods based on process algebra for the analysis and verification of security protocols becomes one of
This paer gives an artificial network(RCSN)combining rough set theory and covering design algorithm,which reduces condition attribute using rough set theory and