Sciweavers

14824 search results - page 381 / 2965
» Security - Introduction
Sort
View
OOPSLA
2004
Springer
16 years 7 days ago
Dependable distributed systems
Alexander Szep, Robert Smeikal, Martin Jandl, Karl...
SAFECOMP
2004
Springer
16 years 7 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 7 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
ACISP
2003
Springer
16 years 3 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 2 days ago
Locating Hidden Groups in Communication Networks Using Hidden Markov Models
Malik Magdon-Ismail, Mark K. Goldberg, William A. ...