Cited By
View all- Lanotte R(2007)Expressive power of hybrid systems with real variables, integer variables and arraysJournal of Automata, Languages and Combinatorics10.5555/1463079.146308212:3(373-405)Online publication date: 1-Jan-2007
Information-flow security is important to the safety and privacy of cyber-physical systems (CPSs) across many domains: information leakage can both violate user privacy and reveal vulnerabilities to physical attacks. CPSs face the challenge that ...
In this paper, we study the problem of analyzing information flow properties of hybrid systems. We begin by formalizing non-interference -- the baseline information flow property -- for hybrid systems. We then present a type system for statically ...
The emergence of new media such as mobile phone has further shortened the distance between time and space of information, accelerated the flow and exchange of tourism information. The Internet plays a more and more important role in tourism, affecting ...
Association for Computing Machinery
New York, NY, United States
Check if you have access through your login credentials or your institution to get full access on this article.
Sign in