129 search results - page 15 / 26 » Open Source Security Analysis - Evaluating Security of Open ... |
133
Voted
CCS
2003
ACM
15 years 8 months ago
2003
ACM
This paper describes a system and annotation language, MECA, for checking security rules. MECA is expressive and designed for checking real systems. It provides a variety of pract...
118
Voted
AGENTS
1997
Springer
15 years 7 months ago
1997
Springer
To facilitate the rapid development and open system interoperability of autonomous agents we need to carefully specify and effectively implement various classes of agent behaviors...
139
click to vote
ADHOC
2007
15 years 3 months ago
2007
In large and dense mobile ad hoc networks, position-based routing protocols can offer significant performance improvement over topology-based routing protocols by using location...
154
Voted
COMPUTER
2002
15 years 3 months ago
2002
ions and concepts that let applications access and share resources and services across distributed, wide area networks, while providing common security semantics, distributed resou...
133
click to vote
IPPS
2002
IEEE
15 years 8 months ago
2002
IEEE
Distributed Computing, the exploitation of idle cycles on pervasive desktop PC systems offers the opportunity to increase the available computing power by orders of magnitude (10x...