| |
|
|
|
|
|
|
|
|
1. |
Record Nr. |
UNISA996466152903316 |
|
|
Titolo |
Computer Security - ESORICS 2000 [[electronic resource] ] : 6th European Symposium on Research in Computer Security Toulouse, France, October 4-6, 2000 Proceedings / / edited by Frederic Cuppens, Yves Deswarte, Dieter Gollmann, Michael Waidner |
|
|
|
|
|
|
|
Pubbl/distr/stampa |
|
|
Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2000 |
|
|
|
|
|
|
|
|
|
ISBN |
|
|
|
|
|
|
Edizione |
[1st ed. 2000.] |
|
|
|
|
|
Descrizione fisica |
|
1 online resource (X, 330 p.) |
|
|
|
|
|
|
Collana |
|
Lecture Notes in Computer Science, , 0302-9743 ; ; 1895 |
|
|
|
|
|
|
Disciplina |
|
|
|
|
|
|
Soggetti |
|
Computer communication systems |
Operating systems (Computers) |
Data encryption (Computer science) |
Computer logic |
Management information systems |
Computer science |
Computer Communication Networks |
Operating Systems |
Cryptology |
Logics and Meanings of Programs |
Management of Computing and Information Systems |
|
|
|
|
|
|
|
|
Lingua di pubblicazione |
|
|
|
|
|
|
Formato |
Materiale a stampa |
|
|
|
|
|
Livello bibliografico |
Monografia |
|
|
|
|
|
Note generali |
|
Bibliographic Level Mode of Issuance: Monograph |
|
|
|
|
|
|
Nota di bibliografia |
|
Includes bibliographical references at the end of each chapters and index. |
|
|
|
|
|
|
|
|
Nota di contenuto |
|
Personal Devices and Smart Cards -- Checking Secure Interactions of Smart Card Applets -- Verification of a Formal Security Model for Multiapplicative Smart Cards -- How Much Negotiation and Detail Can Users Handle? Experiences with Security Negotiation and the Granularity of Access Control in Communications -- Electronic Commerce Protocols -- Secure Anonymous Signature-Based Transactions -- Metering Schemes for General Access Structures -- Access Control -- A Typed Access Control Model for CORBA -- Safety Analysis of the Dynamic-Typed Access Matrix Model -- A Formal Model |
|
|
|
|
|
|
|
|
|
|
|
for Role-Based Access Control Using Graph Transformation -- Protocol Verification -- A Formal Semantics for SPKI -- Formal Verification of Cardholder Registration in SET -- Automating Data Independence -- Internet Security -- Finding a Connection Chain for Tracing Intruders -- A Full Bandwidth ATM Firewall -- Security Property Analysis -- Analysing Time Dependent Security Properties in CSP Using PVS -- Unwinding Possibilistic Security Properties -- Authentication and Confidentiality via IPsec -- Mobile Agents -- A Security Framework for a Mobile Agent System -- A Distributed Access Control Model for Java -- Using Reflection as a Mechanism for Enforcing Security Policies in Mobile Code. |
|
|
|
|
|
|
Sommario/riassunto |
|
his book presents the refereed proceedings of the 6th European Symposium on Research in Computer Security, ESORICS 2000, held in Toulouse, France in October 2000. The 19 revised full papers presented were carefully reviewed and selected from a total of 75 submissions. The papers are organized in sections on personal devices and smart cards, electronic commerce protocols, access control, protocol verification, Internet security, security property analysis, and mobile agents. |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
2. |
Record Nr. |
UNINA9910136976203321 |
|
|
Autore |
Amar Yvan |
|
|
Titolo |
Le français : des mots de chacun, une langue pour tous : Des français parlés à la langue des poètes / / Françoise Argod-Dutard |
|
|
|
|
|
|
|
Pubbl/distr/stampa |
|
|
Rennes, : Presses universitaires de Rennes, 2016 |
|
|
|
|
|
|
|
ISBN |
|
|
|
|
|
|
Descrizione fisica |
|
1 online resource (364 p.) |
|
|
|
|
|
|
Altri autori (Persone) |
|
AnalisDimitri T |
Arcod-DutardFrançoise |
Argod-DutardFrançoise |
AugereauP.-L |
AugereauPierre-Louis |
AvédianNathalie |
BeaumonDominique |
BenaïssaS |
BenaïssaSlimane |
BenarssaS |
BertucciM.-M |
BertucciMarie-Madeleine |
BollaertBaudouin |
BouadjioVictor |
BrangerJacqueline |
BrossierDominique |
BrouardMarielle |
BuffetVincent |
CharvetPascal |
ClavereauChristelle |
ColignonJean-Pierre |
DagaultChantal |
DebreuilleJean-Yves |
DelasDaniel |
de BoissetGeraud |
de CornulierBenoit |
DuboisClaude-Gilbert |
El AmraouiMohammed |
GatéJean-Pierre |
GilletCatherine |
GrimaudJoseph |
GuérinJacques |
HarzicJean |
HognonJoselito |
HoussoubaMohomodou |
|
|
|
|
|
|
|
|
|
|
|
|
JametChristian |
JaunetJean-Luc |
JubeauMichèle |
LadretChristine |
LannouJacques |
LegendreJacques |
LySonia |
MartinezM |
MaximinDaniel |
MoissonniéValentine |
Mollard-DesfourA |
Mollard-DesfourAnnie |
MorslyD |
MorslyDalila |
MusindeJulien Kilanga |
NeveuAnne |
NigoulD |
NigoulDaniel |
NorthXavier |
QueféllecAmbroise |
QueffélecA |
RabaudM |
SansalBoualem |
ScotetZahra |
SeksigAlain |
SonntagAlbrecht |
TrudelRobert |
Vadini-NaudotSouad |
VrietPauline |
WalterH |
WalterHenriette |
YadiniAziza |
|
|
|
|
|
|
Soggetti |
|
Literature (General) |
Français (langue) |
littérature |
littérature française |
linguistique |
langue parlée |
aspects sociaux |
|
|
|
|
|
|
|
|
Lingua di pubblicazione |
|
|
|
|
|
|
Formato |
Materiale a stampa |
|
|
|
|
|
Livello bibliografico |
Monografia |
|
|
|
|
|
|
|
|
|
|
Sommario/riassunto |
|
Vraie problématique linguistique, socio-économique et culturelle que traitent dans ce volume des chercheurs et des universitaires, des enseignants et des hommes d’affaires, des juristes et des écrivains. Comment faire pour que les mots spécialisés de nos professions, ancrés dans des savoir-faire, deviennent également les formes ouvertes d’une langue à partager ? Comment faire aussi pour que les mots de tous les jours, ceux des enfants des banlieues comme ceux des fils de la terre, soient les gages d’une compréhension et d’une reconnaissance mutuelles, d’un accès à la langue des pères, dans une société en perpétuel mouvement ? Comment faire encore pour mettre en résonance les accents des français régionaux et les échos lointains des français de la francophonie, afin que se déploie plus largement cet idéal linguistique commun ? Autant de questions qui trouvent leur champ de réflexion et leur voie de réponse dans les différentes parties de cet ouvrage : le lecteur chemine d’abord à travers les accents du français parlé, en France et dans la francophonie, pénètre au cœur des particularités de l’écrit, réfléchit aux conditions des échanges et du partage de la langue pour pénétrer enfin dans le monde des poètes et s’initier aux enchantements de la langue littéraire qui n’a cessé de dire la vie, la jouissance et la fortune des mots d’où qu’ils proviennent, ceux de La Pléiade, archaïques, techniques ou dialectaux, ceux des poètes modernes, riches de sensations, constellés d’associations, pleins de fulgurances, ceux de Léopold Sedar Senghor, vibrant aux accords de l’Afrique et de la France, fondues dans une mythologie neuve, faite de valeurs singulières mais partagées, métissées par deux cultures dans une même vision poétique. Finalement, c’est encore là une belle escale dans le temps et l’espace que cette troisième étape du voyage au long cours que constituent les Lyriades renouvelées de la langue française. Cet ouvrage est issu des 3e journées de la langue française, … |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
3. |
Record Nr. |
UNINA9910299802903321 |
|
|
Titolo |
Africa and Globalization : Challenges of Governance and Creativity / / edited by Toyin Falola, Kenneth Kalu |
|
|
|
|
|
|
|
Pubbl/distr/stampa |
|
|
Cham : , : Springer International Publishing : , : Imprint : Palgrave Macmillan, , 2018 |
|
|
|
|
|
|
|
|
|
ISBN |
|
|
|
|
|
|
|
|
Edizione |
[1st ed. 2018.] |
|
|
|
|
|
Descrizione fisica |
|
1 online resource (261 pages) |
|
|
|
|
|
|
Collana |
|
African Histories and Modernities, , 2634-5781 |
|
|
|
|
|
|
Disciplina |
|
|
|
|
|
|
Soggetti |
|
Africa - History |
Ethnology - Africa |
Culture |
Africa - Politics and government |
Economic development |
African History |
African Culture |
African Politics |
Development Studies |
|
|
|
|
|
|
|
|
Lingua di pubblicazione |
|
|
|
|
|
|
Formato |
Materiale a stampa |
|
|
|
|
|
Livello bibliografico |
Monografia |
|
|
|
|
|
Nota di contenuto |
|
1. Introduction: Africa in a Globalized World -- I. Africa's Adaptation to Globalization -- 2. The Rediscovery of Africa -- 3. Globalization and the Creative Space in Africa: Implications for Governance and Development -- 4. Postcolonial Africa's Development Trajectories -- 5. Collective Social Action: Enlightenment Ethic and the Rise of Modern Individualism -- 6. Same Migrants, Two Business Models: Culture-centered and Non-traditional Businesses Established by Ethiopians and Eritreans in Washington D.C -- 7. Making Sense of South Africa's Soft Power: Projections, Prospects, and Possibilities -- II. Governance and Creativity -- 8. Developmental Strategies and Cultural Dynamics in Rural Nigeria -- 9. The Impossible Craft of Nation-Building in Postcolonial Cameroon -- 10. Creativity and New Technologies: Piracy, Politics, and the Business of Cultural Production in Nigeria -- 11. Igbo |
|
|
|
|
|
|
|
|
|
|
|
Community Policing and its Relevance for Contemporary Nigeria -- 12. "Come and Chop": Representations of the Parliamentarian in Ola Rotimi's If and Emeka Nwabueze's A Parliament of Vultures. |
|
|
|
|
|
|
Sommario/riassunto |
|
This book considers the promises and challenges of globalization for Africa. Why have African states been perennially unable to diversify their economies and move beyond export of primary produce, even as Southeast Asia has made a tremendous leap into manufacturing? What institutional impediments are in play in African states? What reforms would mitigate the negative effects of globalization and distribute its benefits more equitably? Covering critical themes such as political leadership, security challenges, the creative sector, and community life, essays in this volume argue that the starting point for Africa’s meaningful engagement with the rest of the world must be to look inward, examine Africa’s institutions, and work towards reforms that promote inclusiveness and stability. |
|
|
|
|
|
|
|
| |