Sciweavers

1163 search results - page 13 / 233
» Department of Redundancy Department
Sort
View
BIRTHDAY
2010
Springer
13 years 6 months ago
Specifying and Verifying Organizational Security Properties in First-Order Logic
In certain critical cases the data flow between business departments in banking organizations has to respect security policies known as Chinese Wall or Bell–La Padula. We show t...
Christoph Brandt, Jens Otten, Christoph Kreitz, Wo...

Book
671views
15 years 6 months ago
Introduction to Programming for Image Analysis with VTK
"This book is an edited collection of class handouts that was written for the graduate seminar [Programming for Medical Image Analysis] (ENAS 920a). This class was taught at Y...
Xenophon Papademetris
CRYPTO
2009
Springer
99views Cryptology» more  CRYPTO 2009»
14 years 2 months ago
Cryptanalysis of C2
Abstract Julia Borghoff , Lars R. Knudsen, Gregor Leander, Krystian Matusiewicz Department of Mathematics Technical University of Denmark
Julia Borghoff, Lars R. Knudsen, Gregor Leander, K...
TAICPART
2006
IEEE
183views Education» more  TAICPART 2006»
14 years 1 months ago
AutoAbstract: Problem Statement and Hypothetical Solutions
ract: Problem Statement and Hypothetical Solutions Shaukat Ali Verification and Testing Group (VT) Department of Computer Science University of Sheffield
Shaukat Ali
ELPUB
1998
ACM
13 years 11 months ago
Users' Information Behaviour when Using an Electronic Journal
RIS - Review of Information Science, a full refereed electronic journal, has been published at the Department of Information Science, University of Konstanz, Germany since July 19...
Zhongdong Zhang