3811 search results - page 742 / 763 » The Safe-Tcl Security Model |
154
click to vote
ASIAN
2006
Springer
15 years 10 months ago
2006
Springer
We present formal proof rules for inductive reasoning about the way that data transmitted on the network remains secret from a malicious attacker. Extending a compositional protoco...
149
click to vote
CNSR
2004
IEEE
15 years 10 months ago
2004
IEEE
An ad-hoc network is formed when a group of wireless nodes pledge to help each other in passing packets based upon a pre-agreed protocol. Temporally Ordered Routing Algorithm (TOR...
178
click to vote
COOPIS
2004
IEEE
15 years 10 months ago
2004
IEEE
Semantically heterogeneous and distributed data sources are quite common in several application domains such as bioinformatics and security informatics. In such a setting, each dat...
180
click to vote
EUSAI
2004
Springer
15 years 10 months ago
2004
Springer
Home networks and the interconnection of home appliances is a classical theme in ubiquitous computing research. Security is a recurring concern, but there is a lack of awareness of...
179
click to vote
COLT
2006
Springer
15 years 10 months ago
2006
Springer
We consider online learning in repeated decision problems, within the framework of a repeated game against an arbitrary opponent. For repeated matrix games, well known results esta...