Rule based analysis of computer security

Rule based analysis of computer security

Thesis (Ph. D.)--Massachusetts Institute of Technology, Dept. of Electrical Engineering and Computer Science, 1987.

Bibliographic Details
Main Author:	Baldwin, Robert W. (Robet William)
Other Authors:	Stephen A. Ward.
Format:	Thesis
Language:	eng
Published:	Massachusetts Institute of Technology 2005
Subjects:	Electrical Engineering and Computer Science.
Online Access:	http://hdl.handle.net/1721.1/14592

Similar Items

Rule Based Analysis of Computer Security
by: Baldwin, Robert W.
Published: (2023)

The design and construction of a special purpose computer for speech synthesis-by-rule.
by: Steingart, Robert Jay
Published: (2005)

Infrastructures for secure multiparty computation
by: Raghuraman, Srinivasan.
Published: (2020)

Secure computation on untrusted platforms
by: Holmgren, Justin Lee
Published: (2018)

Ascend : an architecture for performing secure computation on encrypted data
by: Fletcher, Christopher W. (Christopher Wardlaw)
Published: (2013)

Hardware and protocols for authentication and secure computation
by: Juvekar, Chiraag (Chiraag Shashikant)
Published: (2018)

Regions Security Policy (RSP) : applying regions to network security
by: Baratz, Joshua W. (Joshua William), 1981-
Published: (2005)

Design principles and patterns for computer systems that are simultaneously secure and usable
by: Garfinkel, Simson
Published: (2006)

Spike-based learning rules and stabilization of persistent neural activity
by: Xie, Xiaohui, 1972-
Published: (2014)

A tool for automated inference in rule-based biological models
by: Voss, Chelsea (Chelsea S.)
Published: (2017)

Rule based learning of word pronunciations from training corpora
by: Molnár, Lajos, 1975-
Published: (2009)

Automated analysis of security APIs
by: Lin, Amerson H
Published: (2006)

Sieve : an XML-based structural Verilog rules check tool
by: Cheng, Tina, 1980-
Published: (2005)

Investigation of security in cloud computing
by: Kristian Slamet.
Published: (2011)

A study of secure database access and general two-party computation
by: Malkin, Tal Geula, 1970-
Published: (2014)

Relationships between functionality, security, and privacy for multiparty computation, hashing, and encryption
by: LaVigne, Rio(Kristen Rio)
Published: (2020)

Towards security analysis and design of confidential computing systems
by: Lou, Xiaoxuan
Published: (2024)

Development of a tokenizer and rule-based part-of-speech tagger in Korean
by: Kim, Philip D. (Philip Dongjoon), 1974-
Published: (2005)

A rule-based mediator implementation for solving semantic conflicts in SQL
by: Madero, Francisco J
Published: (2005)

Multi-representational security modeling and analysis
by: Kang, Eunsuk
Published: (2016)

Rule-selection through social computing : a stock-trading rule classification system using the Ant Miner algorithm
by: Aditya Malla
Published: (2010)

Protocols for unconditionally computationally secure circuit computation obfuscation
by: Yu, Yu
Published: (2008)

Rule-based facial action units detection and dynamic analysis
by: Ujir, Hamimah, et al.
Published: (2016)

Applying probabilistic rules to relational worlds
by: Hernandez Gardiol, Natalia, 1977-
Published: (2014)

Learning probabilistic relational planning rules
by: Zettlemoyer, Luke S. (Luke Sean), 1978-
Published: (2014)

Rivisit grid computing security
by: Ismail, Saiful Adli, et al.
Published: (2008)

Security and performance analysis of custom memory allocators
by: Tang, Tiffany(Tiffany L.)
Published: (2020)

A security kernel based on the lambda-calculus
by: Rees, Jonathan A
Published: (2007)

Learning structural descriptions of grammar rules from examples
by: Berwick, Robert Cregar
Published: (2005)

Computer aided design of circular tunnels using analysis and knowledge-based rules
by: Brito, Jaime Francisco
Published: (2005)

Combinatorial Rules Approach to Improve Priority Rules Scheduler in Grid Computing Environment
by: Zafril Rizal, M Azmi, et al.
Published: (2012)

Games, puzzles, and computation
by: Hearn, Robert A. (Robert Aubrey), 1965-
Published: (2007)

A review on job scheduling technique in cloud computing and priority rule based intelligent framework
by: Murad, Saydul Akbar, et al.
Published: (2022)

Derivation of an efficient rule system pattern matcher
by: Wertheimer, Jeremy M. (Jeremy Michael)
Published: (2005)

Implementation and security analysis of the Infranet anti-censorship system
by: Wang, Winston, 1981-
Published: (2014)

Reasoning strategies for semantic Web rule languages
by: Scharf, Joseph (Joseph Eric)
Published: (2009)

Synthesis and evaluation of fault-tolerant quantum computer architectures
by: Cross, Andrew W. (Andrew William), 1979-
Published: (2006)

Detection of RNA structural heterogeneity : computational analysis and development of web-based tool
by: Persad, Sitara C
Published: (2018)

Flocking behavior using rule-based system
by: Sim, Jasmine.
Published: (2011)

Augmenting anomaly detection for autonomous vehicles with symbolic rules
by: Chen, Tianye,M.EngMassachusetts Institute of Technology.
Published: (2019)