Certified Security by Design Using Higher Order Logic

af

indgår i serie Chapman & Hall/crc Cryptography And Network Security Series


Certified Security by Design Using Higher Order Logic
  • Leveringstid 5-8 hverdage
  • Forventet levering 27-11-2019
Format:
Bog, hardback
Udgivelsesdato:
22-02-2019
Sprog:
Engelsk
  • Beskrivelse
  • Yderligere info
  • Anmeldelser

This textbook serves the needs of engineers and computer scientists responsible for designing, implementing, and verifying secure computer and information systems. Methods are based on the application of logic as a means for describing, reasoning about, and verifying the properties of systems. We use logic from the conceptualization stage, through the design phase, and up to and including verification and certification. The use of computer-aided design (CAD) tools and computer assisted reasoning tools, such as theorem provers, is essential. We have included numerous examples to illustrate principles, as well as many exercises to serve as assessments of knowledge.

Vis mereVis mindre

Udgivelsesdato:
22-02-2019
ISBN13:
9781138062184
Bredde:
156 mm
Højde:
235 mm
Format:
Hardback

Vis mereVis mindre

Vis mereVis mindre

Fandt du ikke hvad du søgte?

Hvis denne bog ikke er noget for dig, kan du benytte kategorierne nedenfor til at finde andre titler. Klik på en kategori for at se lignende bøger.

Velkommen til Saxo - din danske boghandel!

Hos os kan du handle som Gæst, Saxo-bruger eller Saxo Premium-medlem. Du bestemmer selv, og vores kundeservice sidder altid klar med hjælp.

Om medlemspriser hos Saxo

Hvis du køber til medlemspris, bliver du automatisk medlem og får del i de mange fede fordele. De første 30 dage er gratis for nye brugere, og derefter koster det kun 99,-/md. Medlemskabet fornyes automatisk, og du kan altid opsige det. Læs mere om fordelene ved Saxo Premium her.