3256 search results - page 458 / 652 » Applications of Formal Methods to System Design and Verifica... |
164
click to vote
CCS
2010
ACM
16 years 7 days ago
2010
ACM
In distributed environments, statements from a number of principals, besides the central trusted party, may influence the derivations of authorization decisions. However, existin...
160
click to vote
PODC
2010
ACM
15 years 7 months ago
2010
ACM
The study of complex networks led to the belief that the connectivity of network nodes generally follows a Power-law distribution. In this work, we show that modeling large-scale ...
115
click to vote
DATE
2007
IEEE
15 years 11 months ago
2007
IEEE
Formal verification is an important issue in circuit and system design. In this context, Bounded Model Checking (BMC) is one of the most successful techniques. But even if all sp...
137
click to vote
SAC
2004
ACM
15 years 10 months ago
2004
ACM
1 This paper discusses the design and implementation details of MAST (Mobile Agent-based Security Tool), a new mobile agentbased network security approach. MAST has been designed t...
137
click to vote
IPPS
2003
IEEE
15 years 10 months ago
2003
IEEE
One of the most important issues to deal with in peerto-peer networks is how to disseminate information. In this paper, we use a completely new approach to solving the information...