86,801 research outputs found
An executable specification language for planning attacks to security protocols
No full textWe propose AL(SP) a Declarative Executable Specification Language for Planning Attacks to Security Protocols based on logic programming. III AL(SP) we carl give a declarative specification of a protocol with the natural semantics of send and recieve actions. We view a protocol trace as a plan to reach a goal, so that attacks are just plans caching goals that correspond to security violations, which carl be also declaratively specified. Building on results from logic programming and planning, we map the existence of an attack to a protocol into the existence of a model for the protocol specification that satisfies the specification of an attack. AL(SP) specifications are executable, as we can automatically search for attacks via any efficient model generator (such as smodels), that implements the stable model semantics of normal logic programs.; Thus, we come To a specification language which is easy to rise - protocol specifications are expressed at a high level of abstraction, and with an intuitive notation close to their traditional description - still keeping the rigor of a formal specification that, in addition, is executable
Attacking fair-exchange protocols: parallel models vs trace models
No full textSpecial Issue on the CAV Workshop LACPV'2001 Logical Aspects of Cryptographic Protocol Verificatio
Soundscape Perception in Cagliari, Italy
No full textIn order to study how acoustic and visual stimuli can influence the perception of the landscape, six
Soundscapes and six corresponding Visual Landscapes typical of Cagliari, the capital city of Sardinia, have been
selected and characterized through a binaural phonometric sampling and a photographic survey. All 36 possible
combinations were submitted to a panel of 107 subjects. The evaluations expressed for the audio/visual associations
highlighted how the combination of two different sensorial stimuli gives a wider basis of judgment to the
interviewed subjects. The correspondence analysis, through the recognition of common perceptive patterns in the
acoustic sensitivity of the local citizens, showed how the sound, more than the image, was the predominant element
in the construction of their judgments. The analysis, moreover, singled out some decision parameters in the
pleasantness assigned, discriminating the natural environments from the urban ones; the Hi-fi landscapes from the
Lo-fi ones; the hi-Leq events from the low-Leq ones. This method suggests some requisites for drawing up an
Acoustic Improvement Plan or land planning measures in general that involves the perceptive dimension of the
community, particularly the auditory one, in the organization of space
Effect of drought stress on photosynthetic characteristics, growth and sugar accumulation of field-grown sweet sorghum
No full textRemote sensing as instrument for open pit minitoring
No full textRemote sensing from satellite can be considered as one of the most important and affordable instruments for the management of land. It allows a powerful control of the territory, with low costs and automatic processing facilities. It is used with good results in different fields: agriculture, forestry, geology, hydrology, mapping, environment. In this paper, starting from available satellite data (TM and SPOT SX) and from panchromatic aerial flights at 1-meter resolution on the Abruzzo Italian administrative region, a detailed description of the procedures related to open pit monitoring and the analytical strategies followed has been presented. Furthermore an analysis of the suitability of satellite data and the performance of the different sensors for open pit areas monitoring is discussed
Planning attacks to security protocols: Case studies in logic programming
Full text linkFormal verification of security protocols has become a key issue in computer security. Yet, it has proven to be a hard task often error prone and discouraging for non-experts in formal methods. In this paper we show how security protocols can be specified and verified efficiently and effectively by embedding reasoning about actions into a logic programming language. In a nutshell, we view a protocol trace as a plan to achieve a goal, so that protocol attacks are plans achieving goals that correspond to security violations. Building on results from logic programming and planning, we map the existence of an attack to a protocol into the existence of a model for the protocol specification that satisfies the specification of an attack. To streamline such way of modeling security protocols, we use a description language AL(SP) which makes it possible to describe protocols with declarative ease and to search for attacks by relying on efficient model finders (e.g. the smodels systems by Niemela and his group). This paper shows how to use AL(SP) for modeling two significant case studies in protocol verification: the classical Needham-Schroeder public-key protocol, and Aziz-Diffie Key agreement protocol for mobile communication
THE EFFECT OF GROWTH AT LOW-TEMPERATURE ON PHOTOSYNTHETIC CHARACTERISTICS AND MECHANISMS OF PHOTOPROTECTION OF MAIZE LEAVES
No full text- …
