671 search results - page 99 / 135 » A Modeling Framework for Generating Security Protocol Specif... |
IJSN
2006
13 years 8 months ago
2006
: Wireless Sensor Networks (WSN) pose a need for dynamically establishing a secret key joint to a group of nodes. Elliptic Curve Cryptography (ECC) has emerged as a suitable public...
ATVA
2009
Springer
14 years 15 days ago
2009
Springer
We present a framework for certifying hardware designs generated through behavioral synthesis, by using formal verification to certify the associated synthesis transformations. We ...
BPM
2004
Springer
14 years 1 months ago
2004
Springer
On the one hand Web services are gaining increasing attention. A lot of standardization has improved their stability and range of application. Composition and coordination techniqu...
WOSP
1998
ACM
14 years 22 days ago
1998
ACM
The POEMS project is creating an environment for end-to-end performance modeling of complex parallel and distributed systems, spanning the domains of application software, runti...
SACMAT
2003
ACM
14 years 1 months ago
2003
ACM
Role-based Access Control (RBAC) models have been implemented not only in self-contained resource management products such as DBMSs and Operating Systems but also in a class of pr...