1415 search results - page 85 / 283 » Verified systems by composition from verified components |
180
click to vote
POLICY
2001
Springer
15 years 10 months ago
2001
Springer
IPSec (Internet Security Protocol Suite) functions will be executed correctly only if its policies are correctly specified and configured. Manual IPSec policy configuration is inef...
185
click to vote
FASE
2008
Springer
15 years 8 months ago
2008
Springer
With the success of model-driven development as well as component-based and service-oriented systems, models of software architecture are key artefacts in the development process. ...
183
click to vote
CISC
2008
Springer
15 years 8 months ago
2008
Springer
The notion of anonymous signatures has recently been formalized by [18], which captures an interesting property that a digital signature can sometimes hide the identity of the sign...
174
click to vote
STTT
2008
15 years 6 months ago
2008
Abstract. Managing access control policies in modern computer systems can be challenging and error-prone. Combining multiple disparate access policies can introduce unintended cons...
193
click to vote
IMC
2006
ACM
16 years 10 days ago
2006
ACM
In this paper we present the first implementation of a P2P content distribution system that uses Network Coding. Using results from live trials with several hundred nodes, we pro...