129 search results - page 15 / 26 » Open Source Security Analysis - Evaluating Security of Open ... |
CCS
2003
ACM
14 years 1 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...
AGENTS
1997
Springer
14 years 3 days 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...
ADHOC
2007
13 years 8 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...
COMPUTER
2002
13 years 7 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...
IPPS
2002
IEEE
14 years 26 days 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...