We present a formal view of cryptography that overcomes the usual assumptions of formal models for reasoning about security of computer systems, i.e. perfect cryptography and Dolev-Yao adversary model. The use of formal methods for modeling and analyzing cryptographic operations is well-established. Since the seminal paper by Dolev and Yao [4] introduced a simple and intuitive formalization of ...

Robust design optimization methods applied to real life problem face some major difficulties: how to deal with the estimation of probability densities when data are sparse, how to cope with high dimensional problems and how to use valuable information in the form of unformalized expert knowledge. In this paper we introduce in detail the clouds formalism as means to process available uncertainty...

This paper is devoted to the spectral analysis of the Laplacian with constant magnetic field on a cone of aperture α and Neumann boundary condition. We analyze the influence of the orientation of the magnetic field. In particular, for any orientation of the magnetic field, we prove the existence of discrete spectrum below the essential spectrum in the limit α → 0 and establish a full asymptotic...

due to increasing growth of air traffic, it is very important to have a reliable air traffic control system. usually secondary surveillance radar systems are employed for this task. in this paper, a new approach is presented to identify interrogators location of this system. the proposed method works passively and uses just a single receiver. this goal has been reached using angle and time diff...

let $k$ be a field of characteristic$p>0$, $k[[x]]$, the ring of formal power series over $ k$,$k((x))$, the quotient field of $ k[[x]]$, and $ k(x)$ the fieldof rational functions over $k$. we shall give somecharacterizations of an algebraic function $fin k((x))$ over $k$.let $l$ be a field of characteristic zero. the power series $finl[[x]]$ is called differentially algebraic, if it satisfies...

0164-1212/$ see front matter 2009 Elsevier Inc. A doi:10.1016/j.jss.2009.10.044 * Corresponding author. E-mail addresses: [email protected] (N. Mittas), The well-balanced management of a software project is a critical task accomplished at the early stages of the development process. Due to this requirement, a wide variety of prediction methods has been introduced in order to identify the best...