2270 search results - page 454 / 454 » Modelling Secure IT Systems - A Survey |
CN
2004
13 years 5 months ago
2004
Intrusion detection is a surveillance problem of practical import that is well suited to wireless sensor networks. In this paper, we study the application of sensor networks to the...
JAR
2000
13 years 5 months ago
2000
Cryptographic algorithms play a key role in computer security and the formal analysis of their robustness is of utmost importance. Yet, logic and automated reasoning tools are seld...
IANDC
2011
13 years 6 days ago
2011
We introduce the class of Rigid Tree Automata (RTA), an extension of standard bottom-up automata on ranked trees with distinguished states called rigid. Rigid states define a res...
TMM
2011
13 years 5 days ago
2011
Abstract—Multimedia social network is a network infrastructure in which the social network users share multimedia contents with all different purposes. Analyzing user behavior in...
TIP
2010
12 years 12 months ago
2010
Camera networks are being deployed for various applications like security and surveillance, disaster response and environmental modeling. However, there is little automated process...