718 search results - page 62 / 144 » Operational Semantics of Security Protocols |
CCS
2011
ACM
12 years 8 months ago
2011
ACM
The sheer volume of new malware found each day is growing at an exponential pace. This growth has created a need for automatic malware triage techniques that determine what malwar...
IANDC
2008
13 years 8 months ago
2008
Today's software systems communicate over the Internet using standard protocols that have been heavily scrutinized, providing some assurance of resistance to malicious attack...
MAM
2007
2007
A distributed admission control system for MANET environments supporting multipath routing protocols
13 years 7 months ago
Multipath routing protocols have proved to be able to enhance the performance of MANET in terms of reliability, load balancing, multimedia streaming, security, etc. However, deplo...
WEBDB
2010
Springer
14 years 1 months ago
2010
Springer
We introduce and study concurrent One-Way Protocols in social networks. The model is motivated by the rise of online social networks and the fast development of automation feature...
SIGMOD
2003
ACM
14 years 8 months ago
2003
ACM
Finding patterns in large, real, spatio/temporal data continues to attract high interest (e.g., sales of products over space and time, patterns in mobile phone users; sensor netwo...