Sciweavers

14824 search results - page 381 / 2965
» Security - Introduction
Sort
View
OOPSLA
2004
Springer
16 years 26 days ago
Dependable distributed systems
Alexander Szep, Robert Smeikal, Martin Jandl, Karl...
SAFECOMP
2004
Springer
16 years 26 days ago
A Hybrid Testing Methodology for Railway Control Systems
Giuseppe De Nicola, Pasquale di Tommaso, Rosaria E...
SAS
2004
Springer
132views Formal Methods» more  SAS 2004»
16 years 26 days ago
Modular and Constraint-Based Information Flow Inference for an Object-Oriented Language
Abstract. This paper addresses the problem of checking programs written in an object-oriented language to ensure that they satisfy the information flow policies, confidentiality ...
Qi Sun, Anindya Banerjee, David A. Naumann
179
Voted
ACISP
2003
Springer
16 years 22 days ago
On the Pseudorandomness of KASUMI Type Permutations
KASUMI is a block cipher which has been adopted as a standard of 3GPP. In this paper, we study the pseudorandomness of idealized KASUMI type permutations for adaptive adversaries. ...
Tetsu Iwata, Tohru Yagi, Kaoru Kurosawa
ISI
2003
Springer
16 years 21 days ago
Locating Hidden Groups in Communication Networks Using Hidden Markov Models
Malik Magdon-Ismail, Mark K. Goldberg, William A. ...