2209 search results - page 265 / 442 » Language Based Secure Communication |
113
Voted
IFIP
2005
Springer
15 years 9 months ago
2005
Springer
Recently, opacity has proved to be a promising technique for describing security properties. Much of the work has been couched in terms of Petri nets. Here, we extend the notion of...
120
Voted
IFIP
2004
Springer
15 years 9 months ago
2004
Springer
The most studied property, secrecy, is not always sufficient to prove the security of a protocol. Other properties such as anonymity, privacy or opacity could be useful. Here, we u...
127
Voted
IFIP
2009
Springer
15 years 10 months ago
2009
Springer
The technique called progressive encryption is used in many areas of content security. However, the plain algorithm itself is only applicable in real transmission scenarios where n...
111
click to vote
IFIP
2003
Springer
15 years 9 months ago
2003
Springer
Many network level services such as routing, auto-addressing and, security have been proposed for ad hoc networks. Each has characteristics that may cause it to outperform similar ...
142
Voted
CORR
2010
Springer
14 years 10 months ago
2010
Springer
Smart grid is an emerging technology which is able to control the power load via price signaling. The communication between the power supplier and power customers is a key issue in...