Abstract. Information systems are vulnerable to accidental or malicious attacks. Security models for commercial computer systems exist, but information systems security is often ig...
Abstract: In this demonstration we introduce a technology to support knowledge structuring processes already at the time of their creation by building up concept structures in real...
We perform a systematic expansion of protocol narrations into terms of a process algebra in order to make precise some of the detailed checks that need to be made in a protocol. W...
Chiara Bodei, Mikael Buchholtz, Pierpaolo Degano, ...
This paper proposes several integrated security architecture designs for client-server group communication systems. In an integrated architecture, security services are implemente...
Yair Amir, Cristina Nita-Rotaru, Jonathan Robert S...
In this paper model-based reconstruction methods are applied to the detailed reconstruction of buildings from close-range images. The 3D points obtained through image matching are...