Offre spéciale sur les Précis de droit Stämpfli : Jusqu’à fin novembre, profitez d’un rabais de 20% sur les manuels d’enseignement et les livres pour la pratique suivants.
Thèmes principaux
Publications
Services
Auteurs
Éditions
Shop
LEXIA
Revues
Livres spécialisésLOKISemaphor
Logo
DE | FR
cover

Access Control, Security, and Trust

A Logical Approach
Livre (broché)95.00 CHF
livrable dans env. 10-20 jours

Contenu

This book equips readers with an access control logic they can use to specify and verify their security designs. Throughout the text, the authors use a single access control logic based on a simple propositional modal logic. The first part of the book presents the syntax and semantics of access control logic, basic access control concepts, and a

Informations bibliographiques

octobre 2024, 352 Pages, Chapman & Hall/CRC Cryptography and Network Security Series, Anglais
Taylor and Francis
978-1-032-92131-0

Sommaire

Mots-clés

Autres titres de la collection: Chapman & Hall/CRC Cryptography and Network Security Series

Afficher tout
Group Theoretic Cryptography
Taylor and Francis, 2024
978-1-032-92550-9
115.00 CHF
livrable dans env. 10-20 jours
Handbook of Financial Cryptography and Security
Taylor and Francis, 2024
978-1-032-91807-5
69.00 CHF
livrable dans env. 10-20 jours
Practical Mathematical Cryptography
Taylor and Francis, 2024
978-0-367-71119-1
76.00 CHF
livrable dans env. 10-20 jours
Secret History
The Story of Cryptology
Taylor and Francis, 2024
978-0-367-68574-4
96.00 CHF
livrable dans env. 10-20 jours
Techniques for Designing and Analyzing Algorithms
Taylor and Francis, 2024
978-1-032-02410-3
96.00 CHF
livrable dans env. 10-20 jours
Cryptology
Classical and Modern
Taylor and Francis, 2023
978-1-03-247592-9
70.00 CHF
livrable dans env. 10-20 jours
Discrete Encounters
Taylor and Francis, 2023
978-1-03-247448-9
70.00 CHF
livrable dans env. 10-20 jours
Practical Mathematical Cryptography
Taylor and Francis, 2022
978-0-367-71085-9
140.00 CHF
livrable dans env. 10-20 jours
Introduction to Modern Cryptography
Taylor and Francis, 2020
978-0-8153-5436-9
170.00 CHF
livrable dans env. 10-20 jours
Cryptology
Classical and Modern
Taylor and Francis, 2018
978-1-138-04762-4
150.00 CHF
livrable dans env. 10-20 jours
Guide to Pairing-Based Cryptography
Taylor and Francis, 2016
978-1-4987-2950-5
110.00 CHF
livrable dans env. 10-20 jours
Group Theoretic Cryptography
Taylor and Francis, 2015
978-1-58488-836-9
130.00 CHF
livrable dans env. 10-20 jours

Autres titres sur ce thème

Blockchain Technology and Big Data Analytics
Wiley, 2025
978-1-119-75053-6
env. 269.00 CHF
disponible dès août 2025
Personas Across Cultures
Representing the Next Billion Users
Springer Nature EN, 2026
978-3-030-24350-0
env. 146.00 CHF
disponible dès avril 2026
Formal Methods for Multi-Agent Feedback Control Systems
University Presses, 2025
978-0-262-04971-9
env. 125.00 CHF
disponible dès avril 2025
Innovization
Discovering Innovative Solution Principles Through Optimization
Springer Nature EN, 2100
978-3-540-73172-6
env. 76.00 CHF
disponible dès juin 2100
Constrained Markov Sequence Generation
Applications to Music and Text
Springer Nature EN, 2099
978-3-319-43496-4
env. 78.00 CHF
disponible dès décembre 2099
A Year in Numbers
365 Astonishing Maths Facts
Atlantic Books, 2025
978-1-83895-893-0
env. 17.50 CHF
disponible dès novembre 2025
Geometry of the Semigroup Z_(≥0)^n and its Applications to Combinatorics, ...
Springer Nature EN, 2027
978-3-642-30987-8
env. 55.50 CHF
disponible dès janvier 2027