Narrow your search

Library

UGent (3)

KU Leuven (2)

Odisee (2)

Thomas More Kempen (2)

Thomas More Mechelen (2)

UCLL (2)

ULB (2)

ULiège (2)

VIVES (2)

VUB (2)

More...

Resource type

book (6)

digital (1)


Language

English (7)


Year
From To Submit

2019 (2)

2010 (3)

2004 (1)

2002 (1)

Listing 1 - 7 of 7
Sort by
The semantics and proof theory of the logic of bunched implications
Author:
ISBN: 1402007450 Year: 2002 Publisher: Dordrecht : Kluwer,

Loading...
Export citation

Choose an application

Bookmark

Abstract

Reductive logic and proof-search : proof theory, semantics, and control
Authors: ---
ISBN: 0198526334 Year: 2004 Publisher: Oxford : Clarendon press,

Loading...
Export citation

Choose an application

Bookmark

Abstract

This book is a specialized monograph on the development of the mathematical and computational metatheory of reductive logic and proof-search including proof-theoretic, semantic/model-theoretic and algorithmic aspects. The scope ranges from the conceptual background to reductive logic, through its mathematical metatheory, to its modern applications in the computational sciences.


Book
Economics of information security and privacy
Authors: --- ---
ISBN: 1489997229 1441969667 1441969675 Year: 2010 Publisher: New York : Springer,

Loading...
Export citation

Choose an application

Bookmark

Abstract

The Workshop on the Economics of Information Security (WEIS) is the leading forum for interdisciplinary research and scholarship on information security and privacy, combining ideas, techniques, and expertise from the fields of economics, social science, business, law, policy, and computer science. In 2009, WEIS was held in London, at UCL, a constituent college of the University of London. Economics of Information Security and Privacy includes chapters presented at WEIS 2009, having been carefully reviewed by a program committee composed of leading researchers. Topics covered include identity theft, modeling uncertainty's effects, future directions in the economics of information security, economics of privacy, options, misaligned incentives in systems, cyber-insurance, and modeling security dynamics. Economics of Information Security and Privacy is designed for managers, policy makers, and researchers working in the related fields of economics of information security. Advanced-level students focusing on computer science, business management and economics will find this book valuable as a reference.

Keywords

Electronic commerce -- Security measures. --- Electronic data processing departments -- Security measures. --- Privacy, Right of. --- Computer networks --- Data encryption (Computer science) --- Electronic commerce --- Computers --- Engineering & Applied Sciences --- Electrical & Computer Engineering --- Computer Science --- Telecommunications --- Economic aspects --- Security measures --- Access control --- Computer networks. --- Computer network architectures. --- Computer science. --- Data protection. --- Data structures (Computer science) --- Economics. --- Security measures. --- Economic theory --- Political economy --- Information structures (Computer science) --- Structures, Data (Computer science) --- Structures, Information (Computer science) --- Data governance --- Data regulation --- Personal data protection --- Protection, Data --- Informatics --- Architectures, Computer network --- Network architectures, Computer --- Communication systems, Computer --- Computer communication systems --- Data networks, Computer --- ECNs (Electronic communication networks) --- Electronic communication networks --- Networks, Computer --- Teleprocessing networks --- Computer network security --- Network security, Computer --- Security of computer networks --- Business. --- Management science. --- Computer organization. --- Computer communication systems. --- Computer programming. --- Computer security. --- Data structures (Computer science). --- Computer Science. --- Systems and Data Security. --- Business and Management, general. --- Programming Techniques. --- Computer Communication Networks. --- Data Structures, Cryptology and Information Theory. --- Computer Systems Organization and Communication Networks. --- Science --- Computer security --- Social sciences --- Economic man --- Electronic data processing --- File organization (Computer science) --- Abstract data types (Computer science) --- Computer architecture --- Data transmission systems --- Digital communications --- Electronic systems --- Information networks --- Telecommunication --- Cyberinfrastructure --- Network computers --- Distributed processing --- Data structures (Computer scienc. --- Data Structures and Information Theory. --- Trade --- Economics --- Management --- Commerce --- Industrial management --- Computer privacy --- Computer system security --- Computer systems --- Cyber security --- Cybersecurity --- Electronic digital computers --- Protection of computer systems --- Security of computer systems --- Data protection --- Security systems --- Hacking --- Protection --- Organization, Computer --- Electronic computer programming --- Programming (Electronic computers) --- Coding theory --- Quantitative business analysis --- Problem solving --- Operations research --- Statistical decision --- Programming


Book
Graphical Models for Security : 5th International Workshop, GraMSec 2018, Oxford, UK, July 8, 2018, Revised Selected Papers
Authors: --- ---
ISBN: 3030154653 3030154645 Year: 2019 Publisher: Cham : Springer International Publishing : Imprint: Springer,

Loading...
Export citation

Choose an application

Bookmark

Abstract

This book constitutes revised selected papers from the 5th International Workshop on Graphical Models for Security, GraMSec 2018, held in Oxford, UK, in July 2018. The 7 full papers presented in this volume were carefully reviewed and selected from 21 submissions. The book also contains one invited talk. The contributions deal with the latest research and developments on graphical models for security.

Keywords

Computer security. --- Artificial intelligence. --- Computer crimes. --- Computer science. --- Computers --- Systems and Data Security. --- Artificial Intelligence. --- Computer Crime. --- Programming Techniques. --- Programming Languages, Compilers, Interpreters. --- Legal Aspects of Computing. --- Law and legislation. --- Cyberspace --- Informatics --- Science --- Computers and crime --- Cyber crimes --- Cybercrimes --- Electronic crimes (Computer crimes) --- Internet crimes --- Crime --- Privacy, Right of --- AI (Artificial intelligence) --- Artificial thinking --- Electronic brains --- Intellectronics --- Intelligence, Artificial --- Intelligent machines --- Machine intelligence --- Thinking, Artificial --- Bionics --- Cognitive science --- Digital computer simulation --- Electronic data processing --- Logic machines --- Machine theory --- Self-organizing systems --- Simulation methods --- Fifth generation computers --- Neural computers --- Computer privacy --- Computer system security --- Computer systems --- Cyber security --- Cybersecurity --- Electronic digital computers --- Protection of computer systems --- Security of computer systems --- Data protection --- Security systems --- Hacking --- Law and legislation --- Protection --- Security measures --- Computer networks --- Security measures. --- Computer network security --- Network security, Computer --- Security of computer networks --- Computer security --- Computer programming. --- Programming languages (Electronic computers). --- Computers. --- Automatic computers --- Automatic data processors --- Computer hardware --- Computing machines (Computers) --- Electronic calculating-machines --- Electronic computers --- Hardware, Computer --- Cybernetics --- Calculators --- Computer languages --- Computer program languages --- Computer programming languages --- Machine language --- Languages, Artificial --- Electronic computer programming --- Programming (Electronic computers) --- Coding theory --- Programming


Digital
Economics of Information Security and Privacy
Authors: --- ---
ISBN: 9781441969675 9781441969668 9781489997227 9781441969682 Year: 2010 Publisher: New York, NY Springer US

Loading...
Export citation

Choose an application

Bookmark

Abstract

The Workshop on the Economics of Information Security (WEIS) is the leading forum for interdisciplinary research and scholarship on information security and privacy, combining ideas, techniques, and expertise from the fields of economics, social science, business, law, policy, and computer science. In 2009, WEIS was held in London, at UCL, a constituent college of the University of London. Economics of Information Security and Privacy includes chapters presented at WEIS 2009, having been carefully reviewed by a program committee composed of leading researchers. Topics covered include identity theft, modeling uncertainty's effects, future directions in the economics of information security, economics of privacy, options, misaligned incentives in systems, cyber-insurance, and modeling security dynamics. Economics of Information Security and Privacy is designed for managers, policy makers, and researchers working in the related fields of economics of information security. Advanced-level students focusing on computer science, business management and economics will find this book valuable as a reference.


Book
Economics of Information Security and Privacy
Authors: --- --- ---
ISBN: 9781441969675 9781441969668 1441969667 Year: 2010 Publisher: Boston MA Springer US

Loading...
Export citation

Choose an application

Bookmark

Abstract

The Workshop on the Economics of Information Security (WEIS) is the leading forum for interdisciplinary research and scholarship on information security and privacy, combining ideas, techniques, and expertise from the fields of economics, social science, business, law, policy, and computer science. In 2009, WEIS was held in London, at UCL, a constituent college of the University of London. Economics of Information Security and Privacy includes chapters presented at WEIS 2009, having been carefully reviewed by a program committee composed of leading researchers. Topics covered include identity theft, modeling uncertainty's effects, future directions in the economics of information security, economics of privacy, options, misaligned incentives in systems, cyber-insurance, and modeling security dynamics. Economics of Information Security and Privacy is designed for managers, policy makers, and researchers working in the related fields of economics of information security. Advanced-level students focusing on computer science, business management and economics will find this book valuable as a reference.


Book
Graphical Models for Security
Authors: --- --- ---
ISBN: 9783030154653 Year: 2019 Publisher: Cham Springer International Publishing :Imprint: Springer

Loading...
Export citation

Choose an application

Bookmark

Abstract

Keywords

Listing 1 - 7 of 7
Sort by