Rule-based dependency models for security protocol analysis

Security protocol analysis has been discussed for quite some time in the past few years. Although formal methods have been widely used to identify various vulnerabilities, mainly susceptibility to freshness attacks and impersonation, the arisen inconsistent data between principals and collusion attacks held by a group of dishonest principals have been largely ignored. Moreover, the previous methods focus on reasoning about certain security-related properties and detecting known attacks against secure message, whereas there have been insufficient efforts to handle the above hidden but powerful attacks. In this paper, we address these critical issues and prove the efficiency and intuitiveness of rule-based dependency models in defending a protocol against the attacks. This is able to provide a numerical estimation to measure he occurrence of these attacks. It will be useful in enhancing the current protocol analysis.

An input-output-based linkage measurement framework

This study proposed an input-output-based linkage measurement framework, which is a multi-level hierarchy, omni-direction decision-making model and takes the impact of capital into account. This framework had resolved the critical deficiencies and inherent limitations of the existing methods and was used to explore the real estate and construction linkages.

Contributi della Geomatica nella salvaguardia e gestione dei Beni Culturali

Il territorio italiano presenta una grandissima ricchezza nel campo dei Beni Culturali, sia mobili che immobili; si tratta di un patrimonio di grande importanza che va gestito e tutelato nel migliore dei modi e con strumenti adeguati, anche in relazione ai problemi ad esso legati in termini di manutenzione e di salvaguardia dai fattori di rischio a cui può essere esposto. Per una buona conoscenza del Patrimonio Culturale, è fondamentale un’acquisizione preliminare di informazioni condotte in modo sistematico e unitario, che siano diffuse ed organiche, ma anche utili ad una valutazione preventiva e ad una successiva programmazione degli interventi di restauro di tipo conservativo. In questo ambito, l'impiego delle tecniche e tecnologie geomatiche nel campo dei Beni Culturali, può fornire un valido contributo, che va dalla catalogazione e documentazione del bene culturale al suo controllo e monitoraggio. Oggigiorno il crescente sviluppo di nuove tecnologie digitali, accompagnato dai notevoli passi avanti compiuti dalle discipline della geomatica (in primo luogo topografiche e fotogrammetriche), rende possibile una efficace integrazione tra varie tecniche, favorita anche dalla diffusione di soluzioni per l’interscambio dati e per la comunicazione tra differenti dispositivi. Lo studio oggetto della presente tesi si propone, di approfondire gli aspetti legati all’uso delle tecniche e tecnologie della Geomatica, per mettere in risalto le condizioni di un bene ed il suo stato di degrado. Per la gestione e la salvaguardia di un bene culturale , si presenta il SIT Carta del Rischio che evidenzia le pericolosità legate al patrimonio, e come esse sommate alla vulnerabilità di un singolo bene, contribuiscano all’individuazione del grado di rischio. di approfondire gli aspetti legati all’uso delle tecniche e tecnologie delle Geomatica, per mettere in risalto le condizioni di un bene ed il suo stato di degrado.

Volatilidad del capital y las nuevas concepciones del valor del suelo urbano en las ciudades intermedias

Las lógicas tradicionales que influyen en la fijación del valor del suelo urbano se han visto modificadas, en los últimos tiempos, por las múltiples dinámicas que ocurren en las ciudades intermedias. El crecimiento de la población y la expansión territorial de estas ciudades, y los cambios en las concepciones del sector inmobiliario, las propuestas de los desarrolladores y los componentes perceptivos de la demanda conforman un mercado heterogéneo e imperfecto. A la teoría tradicional de valor del suelo se suman aquellas vinculadas con aspectos hedónicos que otorgan valor simbólico de acuerdo a un entramadocomplejo de aspectos psicosociales y económicos. En la fijación de precios se conjugan la disposición a pagar por parte de los consumidores y la valoración que se hace de las características particulares del inmueble, así como el estatus socioeconómico y las bondades del entorno geográfico-paisajístico en el que se ubica.

Volatilidad del capital y las nuevas concepciones del valor del suelo urbano en las ciudades intermedias

Las lógicas tradicionales que influyen en la fijación del valor del suelo urbano se han visto modificadas, en los últimos tiempos, por las múltiples dinámicas que ocurren en las ciudades intermedias. El crecimiento de la población y la expansión territorial de estas ciudades, y los cambios en las concepciones del sector inmobiliario, las propuestas de los desarrolladores y los componentes perceptivos de la demanda conforman un mercado heterogéneo e imperfecto. A la teoría tradicional de valor del suelo se suman aquellas vinculadas con aspectos hedónicos que otorgan valor simbólico de acuerdo a un entramadocomplejo de aspectos psicosociales y económicos. En la fijación de precios se conjugan la disposición a pagar por parte de los consumidores y la valoración que se hace de las características particulares del inmueble, así como el estatus socioeconómico y las bondades del entorno geográfico-paisajístico en el que se ubica.

Volatilidad del capital y las nuevas concepciones del valor del suelo urbano en las ciudades intermedias

Las lógicas tradicionales que influyen en la fijación del valor del suelo urbano se han visto modificadas, en los últimos tiempos, por las múltiples dinámicas que ocurren en las ciudades intermedias. El crecimiento de la población y la expansión territorial de estas ciudades, y los cambios en las concepciones del sector inmobiliario, las propuestas de los desarrolladores y los componentes perceptivos de la demanda conforman un mercado heterogéneo e imperfecto. A la teoría tradicional de valor del suelo se suman aquellas vinculadas con aspectos hedónicos que otorgan valor simbólico de acuerdo a un entramadocomplejo de aspectos psicosociales y económicos. En la fijación de precios se conjugan la disposición a pagar por parte de los consumidores y la valoración que se hace de las características particulares del inmueble, así como el estatus socioeconómico y las bondades del entorno geográfico-paisajístico en el que se ubica.

Los bienes raíces de los moriscos expulsados

La expulsión de los moriscos fue un proceso complejo, a pesar de los innumerables trabajos que se han realizado hasta el día de hoy aún quedan aspectos por dilucidar. La confiscación y venta de los bienes raíces de los moriscos generó una inmensa documentación, cuyo estudio nos puede ayudar a comprender la vertiente económica de la expulsión, así como aspectos socioeconómicos de la minoría. En este artículo se presentan los primeros datos globales sobre la tasación de todos los bienes raíces de los moriscos en Castilla, Extremadura, Murcia y Andalucía, tanto en lugares de realengo como en lugares de señorío.

Notes on cases in Falmouth, 1786

Includes notes on various cases heard during the July term 1786.

Translation of Littleton's tenures

Contains an English translation of Littleton's Tenures ss. 1-444. Apparently owned later by an American who made several entries citing quotes from Benjamin Franklin and others.

Lowell, Massachusetts, 1850 (Raster Image)

This layer is a georeferenced raster image of the historic paper map entitled: Plan of the city of Lowell, Massachusetts, from actual surveys by Sidney & Neff. It was published by S. Moody in 1850. Scale [ca. 1:3,450]. The image inside the map neatline is georeferenced to the surface of the earth and fit to the Massachusetts State Plane Coordinate System, Mainland Zone (in Feet) (Fipszone 2001) coordinate system. All map collar and inset information is also available as part of the raster image, including any inset maps, profiles, statistical tables, directories, text, illustrations, index maps, legends, or other information associated with the principal map. This map shows features such as roads, railroads, canals, drainage, public buildings, schools, churches, parks, industry locations (e.g. mills, factories, etc.), private buildings with names of property owners, and more. Relief shown by hachures. Includes also illustrations of local buildings in margins.This layer is part of a selection of digitally scanned and georeferenced historic maps from the Harvard Map Collection. These maps typically portray both natural and manmade features. The selection represents a range of originators, ground condition dates, scales, and map purposes.

Denver, Colorado, 1904 (Raster Image)

This layer is a georeferenced raster image of the historic paper map entitled: Map of the city of Denver : showing the lines of the Denver City Tramway Co. It was published by Smith-Brooks Co., engravers and printers in 1904. Scale [ca. 1:21,000]. The image inside the map neatline is georeferenced to the surface of the earth and fit to the HARN State Plane Colorado Central Zone NAD 1983 coordinate system (in Feet) (Fipszone 0502) coordinate system. All map collar and inset information is also available as part of the raster image, including any inset maps, profiles, statistical tables, directories, text, illustrations, index maps, legends, or other information associated with the principal map. This is a partial cadastral map showing features such as roads, railroads, existing and proposed tramway lines, property lots with numbers and names of selected property owners, drainage, selected buildings, parks, and more.This layer is part of a selection of digitally scanned and georeferenced historic maps from the Harvard Map Collection. These maps typically portray both natural and manmade features. The selection represents a range of originators, ground condition dates, scales, and map purposes.

Edinburgh, Scotland, United Kingdom, 1825 (Raster Image)

This layer is a georeferenced raster image of the historic paper map entitled: Plan of Edinburgh and its environs, from a survey by James Knox ; engd. by R. Scott. It was published by John Fairbairn 13, Waterloo Place, Manners & Miller, ... and John Anderson, Junr. in 1825. Scale [ca. 1:6,000]. The image inside the map neatline is georeferenced to the surface of the earth and fit to the 'British National Grid' coordinate system. All map collar and inset information is also available as part of the raster image, including any inset maps, profiles, statistical tables, directories, text, illustrations, index maps, legends, or other information associated with the principal map. This map shows features such as roads, drainage, built-up areas and selected buildings, selected names of property owners, parks, ground cover, and more. Relief shown by hachures and spot heights. Includes population statistics from 1821 and note.This layer is part of a selection of digitally scanned and georeferenced historic maps from the Harvard Map Collection. These maps typically portray both natural and manmade features. The selection represents a range of originators, ground condition dates, scales, and map purposes.

Rhode Island, 1832 (Raster Image)

This layer is a georeferenced raster image of the historic paper map entitled: A topographical map of the state of Rhode Island and Providence plantations, surveyed trigonometrically and in detail by James Stevens, topographer and civil engineer, Newport, R.I. 1831. It was published by James Stevens in 1832. Scale [ca. 1: 95,040]. The image inside the map neatline is georeferenced to the surface of the earth and fit to the Rhode Island NAD 1983 coordinate system (in Feet) (Fipszone 3800). All map collar and inset information is also available as part of the raster image, including any inset maps, profiles, statistical tables, directories, text, illustrations, index maps, legends, or other information associated with the principal map. This map shows features such as roads, drainage, public buildings, schools, hotels, banks, industry locations (e.g. mills, factories, mines, etc.), selected private buildings with names of property owners, town and county boundaries, canals, and more. Relief shown by hachures. Depths shown by soundings. Includes Census statistics and "Remarks".This layer is part of a selection of digitally scanned and georeferenced historic maps from the Harvard Map Collection. These maps typically portray both natural and manmade features. The selection represents a range of originators, ground condition dates, scales, and map purposes.

Bristol, England, 1750 (Raster Image)

This layer is a georeferenced raster image of the historic paper map entitled: A survey of the city and suburbs of Bristol, survey'd by John Rocque, land surveyor at Charing Cross = Plan de la ville et faubourgs de Bristol, levé par Jean Rocque. It was published by John Rocque, published according to Act of Parliament in 1750. Scale [ca. 1:20,200]. Covers Bristol, England. Map in French and English.The image inside the map neatline is georeferenced to the surface of the earth and fit to the 'British National Grid' coordinate system. All map collar and inset information is also available as part of the raster image, including any inset maps, profiles, statistical tables, directories, text, illustrations, index maps, legends, or other information associated with the principal map. This map shows features such as roads, drainage, selected buildings with names of landowners, industries, churches, cemeteries, parks, docks, wharves, ground cover, and more. Relief shown by hachures. Includes also 10 views of local points-of-interest.This layer is part of a selection of digitally scanned and georeferenced historic maps from the Harvard Map Collection. These maps typically portray both natural and manmade features. The selection represents a range of originators, ground condition dates, scales, and map purposes.

Providence County, Rhode Island, 1851 (Raster Image)

This layer is a georeferenced raster image of the historic paper map entitled: Map of Providence County, Rhode Island, with some of the adjacent towns, from original surveys by H. F. Walling. It was published by G. C. Brown in 1851. Scale [ca. 1:43,000]. The image inside the map neatline is georeferenced to the surface of the earth and fit to the Rhode Island NAD 1983 coordinate system (in Feet) (Fipszone 3800) coordinate system. All map collar and inset information is also available as part of the raster image, including any inset maps, profiles, statistical tables, directories, text, illustrations, index maps, legends, or other information associated with the principal map. This map shows features such as roads, railroads, drainage, public buildings, schools, churches, industry locations (e.g. mills, factories, mines, etc.), private buildings with names of property owners, town boundaries, and more. Relief shown by hachures. Includes also inset of the city of Providence and decorative border with 18 vignettes of notable buildings in the county.This layer is part of a selection of digitally scanned and georeferenced historic maps from the Harvard Map Collection. These maps typically portray both natural and manmade features. The selection represents a range of originators, ground condition dates, scales, and map purposes.