Because of the popularity and the change of communication mode for mobile terminals and in order to meet the security access demand of pervasive computing environment

we present a security access model for pervasive computing environment which contains three kinds of access mechanisms:local service domain registration

local domain access and cross-domain access

and the specific work processes of the above access mechanisms are introduced at the same time.The security proof shows that our proposal is provably secure in the CK security model and has superiority in anonymity

security and efficiency

which make it more suitable for pervasive computing environment.