In　today＇s　Internet　era,　as　the　Web　site　was　attacked　continuously,　the　credibility　of　the　software　shows　more　important.　The　credibility　of　the　software　mainly　refers　to　the　behavior　of　software　at　run　time　is　consistent　with　the　expected　behavior,　which　is　a　special　form　of　software　quality.　This　paper　is　to　study　the　credibility　of　user　behavior　in　B/S　mode,　put　forward　a　verification　model　of　Web　software,　which　validate　the　credibility　of　the　user＇s　behavior　by　combining　with　behavior　declaration.