671 search results - page 70 / 135 » A Modeling Framework for Generating Security Protocol Specif... |
136
click to vote
SP
2010
IEEE
14 years 11 months ago
2010
IEEE
Abstract--We consider resource-constrained broadcast authentication for n receivers in a static, known network topology. There are only two known broadcast authentication protocols...
120
click to vote
IPPS
2006
IEEE
15 years 7 months ago
2006
IEEE
We present a translation of a generic stochastic process algebra model into a form suitable for stochastic simulation. By systematically generating rate equations from a process d...
110
click to vote
SECURWARE
2008
IEEE
15 years 7 months ago
2008
IEEE
Abstract. This paper presents our pattern-based approach to run-time requirements monitoring and threat detection being developed as part of an approach to build frameworks support...
120
click to vote
TSC
2010
14 years 8 months ago
2010
bstraction Views for Scientific Workflow Provenance Querying Artem Chebotko, Member, IEEE, Shiyong Lu, Senior Member, IEEE, Seunghan Chang, Farshad Fotouhi, Member, IEEE, and Ping ...
124
click to vote
DRM
2006
Springer
15 years 5 months ago
2006
Springer
In this paper we look at the problem of interoperability of digital rights management (DRM) systems in home networks. We introduce an intermediate module called the Domain Interop...