5475 search results - page 762 / 1095 » Model Driven Security |
195
click to vote
CMSB
2006
Springer
15 years 10 months ago
2006
Springer
Abstract. Probabilistic model checking is a formal verification technique that has been successfully applied to the analysis of systems from a broad range of domains, including sec...
204
click to vote
NETWORKING
2011
14 years 9 months ago
2011
Networking Named Content (NNC) was recently proposed as a new networking paradigm to realise Content Centric Networks (CCNs). The new paradigm changes much about the current Intern...
156
click to vote
IPPS
2008
IEEE
16 years 1 months ago
2008
IEEE
With the emergence of multicore network processors in support of high-performance computing and networking applications, power consumption has become a problem of increasing signi...
178
click to vote
TCC
2007
Springer
16 years 22 days ago
2007
Springer
Abstract. We construct an intrusion-resilient symmetric-key authenticated key exchange (AKE) protocol in the bounded retrieval model. The model employs a long shared private key to...
183
click to vote
HICSS
2005
IEEE
16 years 7 days ago
2005
IEEE
— Building a good cooperation in the P2P resource sharing is a fundamental and challenging research topic because of peer anonymity, peer independence, high dynamics of peer beha...