Sign-In
Cart
An Application of Automated Theorem Provers to Computer System Security
Hardcover
FictionProgrammingComputer Security
ISBN13: 9781025139890
Publisher: Hutson Street Press
Published: May 22 2025
Pages: 102
Weight: 0.71
Height: 0.31 Width: 6.14 Depth: 9.21
Language: English
The Schematic Protection Model is specified in SAL and theorems about Take-Grant and New Technology File System schemes are proven. Arbitrary systems can be specified in SPM and analyzed. This is the first known automated analysis of SPM specifications in a theorem prover. The SPM specification was created in such a way that new specifications share the underlying framework and are configurable within the specifications file alone. This allows new specifications to be created with ease as demonstrated by the four unique models included within this document. This also allows future users to more easily specify models without recreating the framework. The built-in modules of SAL provided the needed support to make the model flexible and entities asynchronous. This flexibility allows for the number of entities to be dynamic and to meet the needs of different specifications. The models analyzed in this research demonstrate the validity of the specification and its application to real-world systems.
This work has been selected by scholars as being culturally important, and is part of the knowledge base of civilization as we know it. This work was reproduced from the original artifact, and remains as true to the original work as possible. Therefore, you will see the original copyright references, library stamps (as most of these works have been housed in our most important libraries around the world), and other notations in the work.
This work is in the public domain in the United States of America, and possibly other nations. Within the United States, you may freely copy and distribute this work, as no entity (individual or corporate) has a copyright on the body of the work.
As a reproduction of a historical artifact, this work may contain missing or blurred pages, poor pictures, errant marks, etc. Scholars believe, and we concur, that this work is important enough to be preserved, reproduced, and made generally available to the public. We appreciate your support of the preservation process, and thank you for being an important part of keeping this knowledge alive and relevant.
1 different editions
Also available
An Application of Automated Theorem Provers to Computer System Security
Hirschfeld, Mitchell David Irwin
Paperback
Also from
Hirschfeld, Mitchell David Irwin
An Application of Automated Theorem Provers to Computer System Security
Hirschfeld, Mitchell David Irwin
Paperback
Also in
Computer Security
Dawn of the Code War: America's Battle Against Russia, China, and the Rising Global Cyber Threat
Carlin, John P.
Graff, Garrett M.
Paperback
CompTIA Network+ Certification All-in-One Exam Guide, Ninth Edition (Exam N10-009)
Weissman, Jonathan S.
Paperback
5 Habits of the Tech-Ready Family: Raising Wise Kids in a Wild Digital World
McKenna, Chris
Paperback
Spies, Lies, and Cybercrime: Cybersecurity Tactics to Outsmart Hackers and Disarm Scammers
O'Neill, Eric
Hardcover
Comptia A+ Complete Study Guide, 2-Volume Set: Volume 1 Core 1 Exam 220-1201 and Volume 2 Core 2 Exam 220-1202
Buhagiar, Jon
Docter, Quentin
Paperback
Isc2 Cissp Certified Information Systems Security Professional Official Study Guide & Practice Tests Bundle
Gibson, Darril
Chapple, Mike
Stewart, James Michael
Paperback
Linux Basics for Hackers, 2nd Edition: Getting Started with Networking, Scripting, and Security in Kali
Occupytheweb
Paperback
Comptia Security+ Study Guide with Over 500 Practice Test Questions: Exam Sy0-701
Chapple, Mike
Seidl, David
Paperback
Isc2 Cissp Certified Information Systems Security Professional Official Study Guide
Stewart, James Michael
Gibson, Darril
Chapple, Mike
Paperback
Password Logbook (Hip Floral): Keep Track of Usernames, Passwords, Web Addresses in One Easy and Organized Location
Editors of Rock Point
Hardcover
Don't Trust Your Gut: Using Data to Get What You Really Want in Life
Stephens-Davidowitz, Seth
Paperback
Blown to Bits: Your Life, Liberty, and Happiness After the Digital Explosion
Abelson, Hal
Ledeen, Ken
Lewis, Harry
Paperback
Digital Ethics in the Age of AI: Navigating the ethical frontier today and beyond
Mehan, Julie
Paperback
From Heatmaps to Histograms: A Practical Guide to Cyber Risk Quantification
Martin-Vegue, Tony
Paperback
Hacking & Tor: The Complete Beginners Guide To Hacking, Tor, & Accessing The Deep Web & Dark Web
Jones, Jack
Paperback
Sandworm: A New Era of Cyberwar and the Hunt for the Kremlin's Most Dangerous Hackers
Greenberg, Andy
Paperback
Cult of the Dead Cow: How the Original Hacking Supergroup Might Just Save the World
Menn, Joseph
Paperback
The Cybernetic Society: How Humans and Machines Will Shape the Future Together
Husain, Amir
Hardcover
Comptia A+ Complete Certification Kit: Core 1 Exam 220-1201 and Core 2 Exam 220-1202
Buhagiar, Jon
McMillan, Troy
Docter, Quentin
Paperback
Comptia A+ Complete Review Guide: Core 1 Exam 220-1201 and Core 2 Exam 220-1202
McMillan, Troy
Paperback
Container Security: Fundamental Technology Concepts That Protect Cloud Native Applications
Rice, Liz
Paperback
Cyber War: The Next Threat to National Security and What to Do about It
Clarke, Richard A.
Knake, Robert
Paperback
Chasing Shadows: Cyber Espionage, Subversion, and the Global Fight for Democracy
Deibert, Ronald J.
Paperback
Countdown to Zero Day: Stuxnet and the Launch of the World's First Digital Weapon
Zetter, Kim
Paperback
Humorous Cryptograms: 300 Large Print Puzzles To Keep You Entertained (Large Print Edition)
Nest, Game
Paperback
Data Engineering for Cybersecurity: Build Secure Data Pipelines with Free and Open-Source Tools
Bonifield, James
Paperback
The Future of Hacking: The Rise of Cybercrime and the Fight to Keep Us Safe
Scherling, Laura S.
Hardcover
Home Assistant for Beginners: Build a private smart home without relying on the cloud
Haagenrud, Thom
Paperback
Mobile Forensic Investigations: A Guide to Evidence Collection, Analysis, and Presentation, Second Edition
Reiber, Lee
Paperback
Serious Cryptography, 2nd Edition: A Practical Introduction to Modern Encryption
Aumasson, Jean-Philippe
Paperback
The Secure Board: How To Be Confident That Your Organisation Is Cyber Safe
Pales, Claire
Leibel, Anna
Paperback
The Book of Pf, 4th Edition: A No-Nonsense Guide to the OpenBSD Firewall
Hansteen, Peter N. M.
Paperback
Hackers Underground Knowledge: Quick and easy way to learn secret hacker techniques
Kohler, Martin
Paperback
Hacking and Security: The Comprehensive Guide to Penetration Testing and Cybersecurity
Kloep, Peter
Kofler, Michael
Gebeshuber, Klaus
Paperback
Privacy and Security for Large Language Models: Hands-On Privacy-Preserving Techniques for Personalized AI
Lin, Baihan
Paperback
Cilium: Up and Running: Cloud Native Networking, Security, and Observability
Laverack, James
Vibert, Nico
Nikolic, Filip
Paperback
Comptia A+ Complete Practice Tests: Core 1 Exam 220-1201 and Core 2 Exam 220-1202
O'Shea, Audrey
Paperback
Raising Humans in a Digital World: Helping Kids Build a Healthy Relationship with Technology
Graber, Diana
Paperback
Shit I Can't Remember: Keep track of usernames, passwords, web addresses in one easy & organized location
Books, Family's
Paperback
The Art of Deception: Controlling the Human Element of Security
Mitnick, Kevin D.
Simon, William L.
Paperback
A Hacker's Mind: How the Powerful Bend Society's Rules, and How to Bend Them Back
Schneier, Bruce
Paperback
Dissecting the Dark Web: Reverse Engineering the Tools of the Underground Economy
Kaye, Lindsay
Paperback
Meshtastic: A Comprehensive Guide to Off-Grid Mesh Communication: Second Edition
Rodgers, David A., Jr.
Paperback
Learning Serverless Security: Hacking and Securing Serverless Cloud Applications on Aws, Azure, and Google Cloud
Lat, Joshua Arvin
Paperback
The Web Application Hacker's Handbook: Finding and Exploiting Security Flaws
Stuttard, Dafydd
Pinto, Marcus
Paperback
Chasing Shadows: Cyber Espionage, Subversion, and the Global Fight for Democracy
Deibert, Ronald J.
Hardcover
Crypto Conned My 200K Nightmare: And 10 Key Steps To Safeguard Your Future
Holliday, Ed Doc
Paperback
AWS Certified Security Study Guide: Specialty (Scs-C02) Exam
Mu¿oz, Mauricio
Moraes, Alexandre M. S. P.
Goldfarb, Dario Lucas
Paperback
Cisa Certified Information Systems Auditor Study Guide and Practice Tests Bundle: Covers 2024 Exam Objectives
Gregory, Peter H.
Chapple, Mike
Paperback
Cybersecurity - Attack and Defense Strategies - Third Edition: Improve your security posture to mitigate risks and prevent attackers from infiltrating
Diogenes, Yuri
Ozkaya, Erdal
Paperback
Learn Computer Forensics - Second Edition: Your one-stop guide to searching, analyzing, acquiring, and securing digital evidence
Oettinger, William
Paperback
Industrial Cybersecurity - Second Edition: Efficiently monitor the cybersecurity posture of your ICS environment
Ackerman, Pascal
Paperback
Scams, Hacking, and Cybersecurity: The Ultimate Guide to Online Safety and Privacy
Brooks-Kempler, May
Paperback
Web Application Security: Exploitation and Countermeasures for Modern Web Applications
Hoffman, Andrew
Paperback
Zero Trust Networks: Building Secure Systems in Untrusted Networks
Rais, Razi
Morillo, Christina
Gilman, Evan
Paperback
Evasion Engineering: Building Custom Red Team Tools for Modern Defenses
Chow, Dennis
Lasalvia, Michael
Paperback
Nmap Network Scanning: The Official Nmap Project Guide to Network Discovery and Security Scanning
Fyodor
Lyon, Gordon
Paperback
Identity Attack Vectors: Strategically Designing and Implementing Identity Security, Second Edition
Rolls, Darran
Haber, Morey J.
Paperback
Red Team Engineering: The Art of Building Offensive Tools and Infrastructure
Erdmann, Casey
Paperback
AI Governance Playbook: How to Secure, Control, and Optimize Artificial Intelligence Initiatives
Smallwood, Robert F.
Surdak, Chris
Paperback
Building a Career in Cybersecurity: The Strategy and Skills You Need to Succeed
Diogenes, Yuri
Paperback
Linux Basics for Hackers: Getting Started with Networking, Scripting, and Security in Kali
Occupytheweb
Paperback
Isc2 Ccsp Certified Cloud Security Professional Official Study Guide & Practice Tests Bundle
Chapple, Mike
Seidl, David
Paperback
Locksport: A Hackers Guide to Lockpicking, Impressioning, and Safe Cracking
Burrough, Matt
Belgers, Walter
Weyers, Jos
Paperback
Cisco ASA for Accidental Administrators: An Illustrated Step-by-Step ASA Learning and Configuration Guide
Crawley, Don R.
Paperback
Comptia A+ Certmike: Prepare. Practice. Pass the Test! Get Certified!: Core 1 Exam 220-1201
Chapple, Mike
Paperback
Cybersecurity for Everyone: Securing your home or small business network
Sadler, Terence L.
Paperback
Cism Certified Information Security Manager All-In-One Exam Guide [With CD (Audio)]
Gregory, Peter H.
Paperback
Wireless Exploits And Countermeasures: Kali Linux Nethunter, Aircrack-NG, Kismet, And Wireshark
Botwright, Rob
Paperback
Hands-On Network Forensics: Investigate network attacks and find evidence using common network forensic tools
Jaswal, Nipun
Paperback
The Mathematics of Secrets: Cryptography from Caesar Ciphers to Digital Encryption
Holden, Joshua
Paperback
Operation Carder Kaos: How One Agent Penetrated the Underground Economy
Latulip, Richard K.
Paperback
Cybersecurity Myths and Misconceptions: Avoiding the Hazards and Pitfalls That Derail Us
Dykstra, Josiah
Spafford, Eugene
Metcalf, Leigh
Paperback
Certificate of Cloud Security Knowledge (Ccsk V5) Study Guide: In-Depth Guidance and Practice
Thompson, Graham
Paperback
Mastering Linux Security and Hardening - Third Edition: A practical guide to protecting your Linux system from cyber attacks
Tevault, Donald a.
Paperback
Software Security for Developers: With Examples in Java and Spring
Spilca, Laurentiu
Saikali, Adib
Paperback
Ethical Hacking for Beginners: A Step by Step Guide for you to Learn the Fundamentals of CyberSecurity and Hacking
Nastase, Ramon Adrian
Paperback
Engineering Trustworthy Systems: Get Cybersecurity Design Right the First Time
Saydjari, O. Sami
Paperback
Malware Development for Ethical Hackers: Learn how to develop various types of malware to strengthen cybersecurity
Zhussupov, Zhassulan
Paperback
Het Kleine Bitcoinboekje: Waarom Bitcoin belangrijk is voor je vrijheid, financiën en toekomst
Ajiboye, Timi
Buenaventura, Luis
Vranova, Alena
Paperback
Network Programmability and Automation: Skills for the Next-Generation Network Engineer
Adell, Christian
Lowe, Scott S.
Oswalt, Matt
Paperback
Digital Life Without the Stress: The Complete Beginner's Guide to Computers, Smartphones, and Internet for Seniors who want Independence
Valentini, Giovannijohnny
Paperback
Comptia A+ Certmike: Prepare. Practice. Pass the Test! Get Certified!: Core 2 Exam 220-1202
Chapple, Mike
Paperback