2270 search results - page 345 / 454 » Modelling Secure IT Systems - A Survey |
118
click to vote
AI
2010
Springer
15 years 7 months ago
2010
Springer
Automatic discovery of network applications is a very challenging task which has received a lot of attentions due to its importance in many areas such as network security, QoS prov...
145
click to vote
MAGS
2008
15 years 4 months ago
2008
Process calculi are mathematical tools used for modeling and analyzing the structure and behavior of reactive systems. One such calculus, called APi-calculus (an extension to Pi-ca...
154
click to vote
CCS
2006
ACM
15 years 7 months ago
2006
ACM
Location-hidden services, as offered by anonymity systems such as Tor, allow servers to be operated under a pseudonym. As Tor is an overlay network, servers hosting hidden service...
111
click to vote
OOPSLA
2005
Springer
15 years 9 months ago
2005
Springer
Over the past decade the sheer size and complexity of traditional operating systems have prompted a wave of new approaches to help alleviate the services provided by these operati...
149
click to vote
WSC
2004
15 years 5 months ago
2004
As the U.S. Department of Homeland Security works to create an integrated emergency response system, it is evident that computer-based solutions can support this process. Individu...