Abstract: Device for secure distance measurement being a prover (P) or a verifier (V) comprising: a receiver (R3) configured to receive a receiving signal (RS) with a transmitted message (M) encoded therein, wherein the transmitted message (M) contains a verifying bit sequence (VBS), wherein a bit of the transmission message (M) is transmitted in the transmission signal (TS) by a pulse with a pulse modulation parameter with two pulse states, and a decoder (R2) configured to decode the verifying bit sequence (VBS) from the transmitted message (M) encoded in the receiving signal (RS).

Abstract: Method for secure distance measurement comprising the following steps: transmitting from a verifier (V) to a prover (P) a challenge message comprising a challenge bit sequence (C); transmitting from the prover (P) to the verifier (V) a response message comprising the response bit sequence (R); verifying, in the verifier (V), the response message on the basis of the response bit sequence (R); and determining, in the verifier (V), the distance between the verifier (V) and the prover (P) on the basis of the time difference between the challenge message and the response message.

Abstract: Device for secure distance measurement being a prover (P) or a verifier (V) comprising: a receiver (R3) configured to receive a receiving signal (RS) with a transmitted message (M) encoded therein, wherein the transmitted message (M) contains a verifying bit sequence (VBS), wherein a bit of the transmission message (M) is transmitted in the transmission signal (TS) by a pulse with a pulse modulation parameter with two pulse states, and a decoder (R2) configured to decode the verifying bit sequence (VBS) from the transmitted message (M) encoded in the receiving signal (RS).

Abstract: Method for secure distance measurement comprising the following steps: transmitting from a verifier (V) to a prover (P) a challenge message comprising a challenge bit sequence (C); transmitting from the prover (P) to the verifier (V) a response message comprising the response bit sequence (R); verifying, in the verifier (V), the response message on the basis of the response bit sequence (R); and determining, in the verifier (V), the distance between the verifier (V) and the prover (P) on the basis of the time difference between the challenge message and the response message.

Abstract: Apparatus for determining a time of arrival of a message signal comprising: a quadrature mixer (13, 14) for mixing a received message signal with the signal of a local oscillator, wherein the received message signal comprises a binary sequence modulated by binary frequency shift keying with pulses corresponding to a first value at a first frequency and with pulses corresponding to a second value at a second frequency, wherein the local oscillator has a frequency between the first frequency and the second frequency; a time of arrival detector (18) for determining a time of arrival of the message signal on the basis of the output of the quadrature mixer (13, 14).

Abstract: Apparatus for determining a time of arrival of a message signal comprising: a quadrature mixer (13, 14) for mixing a received message signal with the signal of a local oscillator, wherein the received message signal comprises a binary sequence modulated by binary frequency shift keying with pulses corresponding to a first value at a first frequency and with pulses corresponding to a second value at a second frequency, wherein the local oscillator has a frequency between the first frequency and the second frequency; a time of arrival detector (18) for determining a time of arrival of the message signal on the basis of the output of the quadrature mixer (13, 14).

Abstract: The method for communicating between a first device and a second device, the first and second devices being structured and configured for communicating via a communication channel by exchanging messages, comprises the steps of a) the first device transmitting a challenge message to the second device; b) the second device, in reaction to receiving the challenge message: b1) carrying out a processing on the received challenge message; b2) generating a response message, said response message being derived in dependence of said challenge message; and b3) transmitting the response message to the first device; c) the first device receiving the transmitted response message and determining a time elapsed between the transmitting of the challenge message and the reception of the response message; d) the first device computing, in dependence of said determined time, of a value indicative of a travelling speed of the challenge and the response messages and of a value indicative of a processing time assumed to be req

Abstract: A method for communicating between a first device and a second device is shown. The devices are structured and configured for communicating via a communication channel by exchanging messages.

Abstract: The present invention relates to an arrangement for network management and adapted to be provided in or associated with a network node to be managed. It comprises, or is in communication with, modeling means adapted to, using substantially non-formal descriptions, model network domain and behavior using formal ontologies comprising inference capabilities by means of an inference engine, thus providing a formal ontology model describing domain and behavior. It also comprises annotating means adapted to add semantic information to the formal domain and behavior ontology model, generating means adapted to, using said formal ontology model and said inference engine, elaborate an algorithm adapted to generate and update a probabilistic causal network graph structure representing the domain and its behavior.

Abstract: The present invention relates to a method for network management comprising configuration of control protocols between network elements in a network represented through a current, static, network element object model comprising a number of managed objects with attributes and instances and representing resources.

Abstract: The present invention relates to an arrangement for network management and adapted to be provided in or associated with a network node to be managed. It comprises, or is in communication with, modeling means adapted to, using substantially non-formal descriptions, model network domain and behavior using formal ontologies comprising inference capabilities by means of an inference engine, thus providing a formal ontology model describing domain and behavior. It also comprises annotating means adapted to add semantic information to the formal domain and behavior ontology model, generating means adapted to, using said formal ontology model and said inference engine, elaborate an algorithm adapted to generate and update a probabilistic causal network graph structure representing the domain and its behavior.

Abstract: The present invention relates to a system for representation of network management information, comprising a network management system represented through a machine-readable basic network information model comprising a number of network elements with a number of managed objects with instances, and an external network management interface (10).

Abstract: The present invention relates to a method for network management comprising configuration of control protocols between network elements in a network represented through a current, static, network element object model comprising a number of managed objects with attributes and instances and representing resources.