3420 search results - page 528 / 684 » A Language-Based Approach to Security |
137
click to vote
TYPES
2004
Springer
15 years 10 months ago
2004
Springer
Abstract. Most approaches to the formal analysis of cryptography protocols make the perfect cryptographic assumption, which entails for example that there is no way to obtain knowl...
131
Voted
DISCEX
2003
IEEE
15 years 10 months ago
2003
IEEE
Efforts toward automated detection and identification of multistep cyber attack scenarios would benefit significantly from a methodology and language for modeling such scenario...
144
click to vote
HICSS
2003
IEEE
15 years 10 months ago
2003
IEEE
This paper presents au approach to extend OSGi server based home networks with JXTA’s peer-topeer (PZP) technoIogy to a mzdti-server home environment connecting multiple private...
154
Voted
GCC
2003
Springer
15 years 10 months ago
2003
Springer
Abstract. The common goals of the Grid and peer-to-peer communities have brought them in close proximity. Both the technologies overlay a collaborative resource-sharing infrastruct...
155
click to vote
GI
2003
Springer
15 years 10 months ago
2003
Springer
: Our current societies are fully dependent on large complex critical infrastructures (LCCIs). These LCCIs are large scale distributed systems that are highly interdependent, both ...