1106 search results - page 12 / 222 » Automated Design of Security Protocols |
DAC
1999
ACM
14 years 10 months ago
1999
ACM
IJSN
2007
13 years 9 months ago
2007
Wireless sensor networks (WSNs) are ad hoc networks comprised mainly of small sensor nodes with limited resources, and can be used to monitor areas of interest. In this paper, we p...
IFIP
2010
Springer
13 years 4 months ago
2010
Springer
KBSE
2007
IEEE
14 years 4 months ago
2007
IEEE
We present tools to support model-based security engineering on both the model and the code level. In the approach supported by these tools, one firstly specifies the securitycr...