Model Cheking Ambient Intelligence with AVISPA
Mu ntilde oz Antonio, Ma ntilde a Antonio, Serrano Daniel · Ambient intelligence and smart environments · 2009
Current number of Ambient Intelligent systems is growning steadlily in last years. Moreover, several fields such as domotic and remote teaching are practical applications of AmI. These are some systems that interact with different ones, that is the reason of “AmI Ecosystem” term is used. An AmI Ecosystem is defined as the environment in which users interact transparently with a number of inter-connected devices to the Internet through different telematic networks.