Suchergebnisse

This thesis deals with mandatory access control in distributed systems. We present a novel approach based on a meta-policy model that allows the decentralised administration of distributed nodes. This approach aims at the security of large shared networks, such as computing clusters, grids and distributed stations cooperating over the Internet. The presented solution guarantees global security properties and provides good fault tolerance. These properties are not available with classical access control models, but are achieved through our meta-policy architecture. Then we expose a verification technique that checks the presence of illegal information flows in the distributed nodes. We also describe how our approach allows intrusion detection extensions that complement the access control. Finally, we provide an implementation supporting various target operating systems such as SELinux and grsecurity. ; Dans cette thèse, nous nous intéressons au contrôle d'accès obligatoire dans les systèmes d'exploitation répartis. Nous présentons une approche novatrice fondée sur un modèle de méta-politique pour l'administration décentralisée des noeuds du système réparti. Ces travaux visent la sécurité des grands réseaux partagés, i.e. les clusters, grilles ou ensembles de noeuds coopérant par Internet. L'architecture que nous proposons garantit des propriétés de sécurité globales et une bonne tolérance aux pannes. Ces propriétés, non prises en comptes par les modèles de contrôle d'accès classiques, sont obtenues grâce à notre méta-politique. Nous en présentons une formalisation, puis nous exhibons une technique de vérification garantissant l'absence de flots d'information illégaux au sein des noeuds du réseau. Nous décrivons ensuite comment le modèle peut être étendu pour la détection d'intrusions. Enfin, nous proposons une implantation supportant différents systèmes cibles tels que SELinux et grsecurity.

This thesis deals with mandatory access control in distributed systems. We present a novel approach based on a meta-policy model that allows the decentralised administration of distributed nodes. This approach aims at the security of large shared networks, such as computing clusters, grids and distributed stations cooperating over the Internet. The presented solution guarantees global security properties and provides good fault tolerance. These properties are not available with classical access control models, but are achieved through our meta-policy architecture. Then we expose a verification technique that checks the presence of illegal information flows in the distributed nodes. We also describe how our approach allows intrusion detection extensions that complement the access control. Finally, we provide an implementation supporting various target operating systems such as SELinux and grsecurity. ; Dans cette thèse, nous nous intéressons au contrôle d'accès obligatoire dans les systèmes d'exploitation répartis. Nous présentons une approche novatrice fondée sur un modèle de méta-politique pour l'administration décentralisée des noeuds du système réparti. Ces travaux visent la sécurité des grands réseaux partagés, i.e. les clusters, grilles ou ensembles de noeuds coopérant par Internet. L'architecture que nous proposons garantit des propriétés de sécurité globales et une bonne tolérance aux pannes. Ces propriétés, non prises en comptes par les modèles de contrôle d'accès classiques, sont obtenues grâce à notre méta-politique. Nous en présentons une formalisation, puis nous exhibons une technique de vérification garantissant l'absence de flots d'information illégaux au sein des noeuds du réseau. Nous décrivons ensuite comment le modèle peut être étendu pour la détection d'intrusions. Enfin, nous proposons une implantation supportant différents systèmes cibles tels que SELinux et grsecurity.

This thesis deals with mandatory access control in distributed systems. We present a novel approach based on a meta-policy model that allows the decentralised administration of distributed nodes. This approach aims at the security of large shared networks, such as computing clusters, grids and distributed stations cooperating over the Internet. The presented solution guarantees global security properties and provides good fault tolerance. These properties are not available with classical access control models, but are achieved through our meta-policy architecture. Then we expose a verification technique that checks the presence of illegal information flows in the distributed nodes. We also describe how our approach allows intrusion detection extensions that complement the access control. Finally, we provide an implementation supporting various target operating systems such as SELinux and grsecurity. ; Dans cette thèse, nous nous intéressons au contrôle d'accès obligatoire dans les systèmes d'exploitation répartis. Nous présentons une approche novatrice fondée sur un modèle de méta-politique pour l'administration décentralisée des noeuds du système réparti. Ces travaux visent la sécurité des grands réseaux partagés, i.e. les clusters, grilles ou ensembles de noeuds coopérant par Internet. L'architecture que nous proposons garantit des propriétés de sécurité globales et une bonne tolérance aux pannes. Ces propriétés, non prises en comptes par les modèles de contrôle d'accès classiques, sont obtenues grâce à notre méta-politique. Nous en présentons une formalisation, puis nous exhibons une technique de vérification garantissant l'absence de flots d'information illégaux au sein des noeuds du réseau. Nous décrivons ensuite comment le modèle peut être étendu pour la détection d'intrusions. Enfin, nous proposons une implantation supportant différents systèmes cibles tels que SELinux et grsecurity.

This thesis deals with mandatory access control in distributed systems. We present a novel approach based on a meta-policy model that allows the decentralised administration of distributed nodes. This approach aims at the security of large shared networks, such as computing clusters, grids and distributed stations cooperating over the Internet. The presented solution guarantees global security properties and provides good fault tolerance. These properties are not available with classical access control models, but are achieved through our meta-policy architecture. Then we expose a verification technique that checks the presence of illegal information flows in the distributed nodes. We also describe how our approach allows intrusion detection extensions that complement the access control. Finally, we provide an implementation supporting various target operating systems such as SELinux and grsecurity. ; Dans cette thèse, nous nous intéressons au contrôle d'accès obligatoire dans les systèmes d'exploitation répartis. Nous présentons une approche novatrice fondée sur un modèle de méta-politique pour l'administration décentralisée des noeuds du système réparti. Ces travaux visent la sécurité des grands réseaux partagés, i.e. les clusters, grilles ou ensembles de noeuds coopérant par Internet. L'architecture que nous proposons garantit des propriétés de sécurité globales et une bonne tolérance aux pannes. Ces propriétés, non prises en comptes par les modèles de contrôle d'accès classiques, sont obtenues grâce à notre méta-politique. Nous en présentons une formalisation, puis nous exhibons une technique de vérification garantissant l'absence de flots d'information illégaux au sein des noeuds du réseau. Nous décrivons ensuite comment le modèle peut être étendu pour la détection d'intrusions. Enfin, nous proposons une implantation supportant différents systèmes cibles tels que SELinux et grsecurity.

1. Introduction -- 2. Radicals and planning in Britain and the colonies -- 3. Enlightenment planning -- 4. The Benthamites and utilitarian planning -- 5. Owenite co-operation and plans for new communities -- 6. The influence of the French utopian socialist in England -- 7. Working class radicals and the land -- 8. Socail reform and social science -- 9. The socialist revival, land and housing reform -- 10. Visions and politics of the garden city pioneers -- 11. The institutionalisation of planning and housing -- 12. Radical and socialist influences on land, planning and housing reform.

AbstractFor city planners and policymakers in many parts of the world, Singapore has come to embody a model of efficient and growth‐oriented urban development. Yet there has been very little research that goes beyond descriptive assessments of urban design and urban policy and understands the political economy that has produced the current system of planning in Singapore. This article explores the role of land acquisition and land management in Singapore's urban development. It argues that Singapore is best understood as a model of urban planning under state capitalism. Drawing largely on academic studies, reports of Singapore government agencies and government‐linked corporations, and interviews the article analyzes the mechanisms through which the Singaporean state has used direct involvement in the commercial real‐estate market as a powerful tool to gain access to revenue, achieve urban redevelopment objectives and exert powerful influence over the Singaporean society and economy. Through the commercial exploitation of state landholdings and through stakes in state‐owned and private enterprises, the Singaporean state has harnessed urban development to an agenda of political hegemony, nation building and economic development within a framework of globalization.

The flood risk problems in Riga city due to global warming and climate change are studied based on the European experience incorporated in European and Latvian legislation. Amendment to the Protection Zone Law of Latvia is studied and compared with the likelihood of the flood risk and development possibilities in the flood risk zones. The study focuses on the case of the Vecdaugava River neighbourhood as the potential flood risk zone in Riga city. Article in English. Teritorinio planavimo perspektyvos potvynių užliejamuose Rygos plotuose Santrauka Tiriamos potvynio rizikos Rygos mieste keliamos problemos, atsiradusios dėl globalinio atšilimo ir klimato pokyčių, remiantis Europos patirtimi, atspindėta Europos ir Latvijos įstatyminėje bazėje. Analizuojami Latvijos Respublikos apsaugos zonų įstatymo pakeitimai, potvynio rizikos galimybės tam tikrose zonose. Tyrimas skirtas nagrinėti Vecdaugavos upės atvejį kaip potencialią potvynių zoną Rygos mieste. Reikšminiai žodžiai:miesto pakrantės zona, potvynio rizika, urbanistinis planavimas Rygoje, tvarumas.

The U.S. Department of Labor provided incentives to the prime sponsors of CETA programs to improve their programs by rewarding those that generated large percentages of positive terminations and imposing penalties on others. The City of Indianapolis requested an analysis designed to improve its performance in generating positive terminations. We found sponsors can improve performances by selecting participants with particular characteristics or, more important, by altering the types of services available to participants, with on-the-job training the most effective . While these results are both temporarily and geographically limited, the techniques used to generate them may be more broadly applicable to social service programs.

Despite signing the Mayors Climate Change Agreement, few US cities have made significant progress in either climate mitigation or adaptation. For the most part, European cities have been more effective, albeit with assistance from the European Union and their national governments. Several of the most successful European cities have implemented eco-districts, which have offered many lessons for overall sustainability planning. Using Malmö, Sweden as a case study, we ask how planners and elected officials learned from implementing an eco-district, focusing on experimentation with new technologies and approaches to planning. We identify how "double-loop learning", a term coined by Argyris and Shön, was at play in changing planning practice. As eco-districts are catching on in North American cities, there is much to be learned from European practice.