Login / Signup
Validating Safety for the Integrated Services of the Home Network System Using JML.
Ben Yan
Masahide Nakamura
Lydie du Bousquet
Ken-ichi Matsumoto
Published in:
J. Inf. Process. (2008)
Keyphrases
</>
home network
ubiquitous computing environments
network services
security policies
mobile ip
web services
service oriented
ubiquitous computing
end users
context aware
mobile networks
context sensitive
pervasive computing