See this document in CiteSeerX!

Security Design In Distributed Computing Applications (1993)  (Make Corrections)  
Michael P. Zeleznik



  Home/Search   Context   Related

Links:   ACM

 
View or download:
utah.edu/~zeleznik/./public...phd.ps.gz
Cached:  PS.gz  PS  PDF   Image  Update  Help

From:  utah.edu/~zeleznik...PhD.Abstract (more)
(Enter author homepages)

Rate this article: (best)
  Comment on this article  
(Enter summary)

Abstract: The software developer designing a security architecture for a distributed application is often faced with practical constraints that further complicate an already difficult task. These include limited resources and conflicting requirements. The goal will often be to simply provide as much effective security as possible, targeted at the end-user security needs. To achieve this goal, the developer must be able to systematically determine where security problems exist, understand the impact of... (Update)

Active bibliography (related documents):   More   All
1.4:   A Guide to Understanding Security Modeling in Trusted Systems - NCSC (1992)   (Correct)
1.3:   A Guide To Procurement Of Single And Connected Systems - Language For   (Correct)
1.1:   Specification and Verification of Security Policies - Peri (1996)   (Correct)

Similar documents based on text:   More   All
1.3:   Formal Verification Of Parameterized Protocols On Branching Networks - Jones (2001)   (Correct)
1.2:   Architectural Support For User-Level Input/Output - Schaelicke (2001)   (Correct)
0.2:   UGA: A Unified Graphics Architecture - Hubbard, Wloka, Zeleznik (1991)   (Correct)

BibTeX entry:   (Update)

@misc{ zeleznik-security,
  author = "Michael P. Zeleznik",
  title = "Security Design In Distributed Computing Applications",
  url = "citeseer.ist.psu.edu/zeleznik93security.html" }
Citations (may not include all citations):
2732   Communicating Sequential Processes (context) - Hoare - 1985  ACM   DBLP
1256   Introduction to Modern Information Retrieval (context) - Salton, McGill - 1983  ACM
322   A spiral model of software development and enhancement (context) - Boehm - 1988  ACM   DBLP
267   Software Engineering: a Practitioner's Approach (context) - Pressman - 1982
244   Cryptography and Data Security (context) - Denning - 1982  ACM   DBLP
194   The protection of information in computer systems (context) - Saltzer, Schroeder - 1975
174   Safeguarding cryptographic keys (context) - Blakley - 1979
173   A comparison of commercial and military computer security po.. (context) - Clark, Wilson - 1987  DBLP
170   Security policies and security models (context) - Goguen, Meseguer - 1982  DBLP
155   Secure computer systems: Mathematical foundations and model (context) - Bell, La - 1973
120   Integrity considerations for secure computer systems (context) - Biba - 1977
98   Petri nets (context) - Peterson - 1977  ACM   DBLP
94   Security mechanisms in high-level network protocols (context) - Voydock, Kent - 1983
93   The chinese wall security policy (context) - Brewer, Nash - 1989  DBLP
85   Formal models for computer security (context) - Landwehr - 1981
78   Security problems in the tcp/ip protocol suite - Bellovin - 1989  ACM
77   Unwinding and inference control (context) - Goguen, Meseguer - 1984  DBLP
74   Computer Science Department (context) - Sosic - 1992
73   The digital distributed system security architecture - Gasser - 1989
68   Program Flow Analysis: Theory and Applications (context) - Muchnick, Jones - 1981
60   Specifications for multi-level security and a hook-up proper.. (context) - McCullough - 1987  DBLP
54   A practical alternative to hierarchical integrity policies (context) - Boebert, Kain - 1985
53   Security for Computer Networks (context) - Davies, Price - 1984
53   The seaview security model (context) - Denning, Lunt - 1988  ACM   DBLP
52   Building a Secure Computer System (context) - Gasser - 1988  ACM
51   Security in Computing (context) - Pfleeger - 1989  ACM
50   A model of information (context) - Sutherland - 1986
44   Fault-Tolerant Computing: Theory and Techniques (context) - Pradhan - 1986
43   Parallel free-text search on the connection machine system (context) - Stanfill, Kahle - 1986  ACM   DBLP
43   Secure communication using remote procedure calls (context) - Birrell - 1985  ACM   DBLP
41   The sri ides statistical anomaly detector (context) - Javitz, Valdes - 1991  DBLP
39   Protection and the control of information sharing in multics (context) - Saltzer - 1974  ACM   DBLP
34   Software safety in embedded computer systems (context) - Leveson - 1991
28   The Cuckoo's Egg (context) - Stoll - 1989  ACM
27   Computer viruses theory and experiments (context) - Cohen - 1984
27   The Specification of Complex Systems (context) - Cohen, Harwood et al. - 1986
25   A hardware architecture for implementing protection rings (context) - Schroeder, Saltzer - 1972  ACM   DBLP
25   Proving multilevel security of a system design (context) - Feiertag, Levitt et al. - 1977  ACM   DBLP
24   Operating system penetration (context) - Linde - 1975
21   Database Security and Integrity (context) - Fernandez, Summers et al. - 1981  ACM
21   distributed intrusion detection system) - motivation (context) - Snapp - 1991
21   Specification and verification of the ucla unix security ker.. (context) - Walker, Kemmerer et al. - 1980
21   Integrating formal methods into the development process (context) - Kemmerer - 1990  ACM   DBLP
21   Non-discretionary controls for commercial applications (context) - Lipner - 1982
20   Computing Surveys (context) - Denning, Denning - 1979
20   The Art of Computer Programming Volume 3 - Sorting and Searc.. (context) - Knuth - 1973
18   Security kernel design and implementation: An introduction (context) - Ames, Gasser et al. - 1983
16   A note on the denial-of-service problem (context) - Gligor - 1983  ACM   DBLP
15   Computer Science Laboratory (context) - Rushby - 1985
14   the need for a third form of access control (context) - Graubart - 1989
13   The Art of Computer Programming Volume 1 - Fundamental Algor.. (context) - Knuth - 1973
13   the derivation of secure components (context) - Jacob - 1989
13   Verifying security (context) - Cheheyl, Gasser et al. - 1981  ACM   DBLP
13   Secure computer systems: A network interpretation (context) - Bell - 1986
13   Software safety: What (context) - Leveson - 1986
12   Federal Information Processing Standard (context) - the, Standard et al. - 1988
12   Federal Information Processing Standard (context) - for, Certification et al. - 1983
12   Federal Information Processing Standard (context) - Modes, Operation et al. - 1980
12   Federal Information Processing Standard (context) - for, Processing et al. - 1979
12   Federal Information Processing Standard (context) - Encryption, Bureau et al. - 1977
12   Federal Information Processing Standard (context) - for, Processing et al. - 1974
12   The multics kernel design project (context) - Schroeder, Clark et al. - 1977  ACM   DBLP
11   National Bureau of Standards (context) - Analysis, Security et al. - 1978
11   Department of Defense Trusted Computer System Evaluation Cri.. (context) - NCSC - 1985
11   A method to detect intrusive activity in a networked environ.. (context) - Heberlein, Levitt et al. - 1991
10   A taxonomy for information flow policies and models (context) - Foley - 1991  DBLP
9   Financial Institution Message Authentication (context) - National - 1986
9   A new security testing method and its application to the sec.. (context) - Gligor - 1987  ACM   DBLP
8   Ucla secure unix (context) - Popek - 1979
8   The foundations of a provably secure operating system (context) - Feiertag, Neumann - 1979
8   Rule based analysis of computer security (context) - Baldwin - 1987  ACM
7   Software Tools (context) - Kernighan, Plauger - 1976  ACM
7   A fault tolerance approach to computer viruses (context) - Joseph, Avizeinis - 1988
7   UNIX System Security (context) - Wood, Kochan - 1985  ACM
7   Trusted Database Management System Interpretation of the Tru.. - NCSC - 1991
7   Security specifications (context) - Jacob - 1988
6   Penetrating an operating system: a study of vm/370 integrity (context) - Attanasio, Markstein et al. - 1976  DBLP
6   Financial Institution Key Management (context) - National - 1985
6   A penetration analysis of a burroughs large system (context) - Wilkinson - 1981  ACM   DBLP
6   Trusted Network Interpretation of the Trusted Computer Syste.. (context) - NCSC - 1987
6   A model for secure information flow (context) - Foley - 1989  DBLP
6   Text retrieval computers (context) - Hollaar - 1979  DBLP
6   Scomp: A solution to the multilevel security problem (context) - Fraim - 1983
6   A modular approach to computer security risk management (context) - Campbell, Sands - 1979
6   Formal verification of a secure network with end-to-end encr.. (context) - Britton - 1984  DBLP
5   Exploiting the dual nature of sensitivity labels (context) - Woodward - 1987  DBLP
5   A security retrofit of vm (context) - Gold - 1979
5   The advent of trusted computer operating systems (context) - Walker - 1980
5   National Security Agency (context) - Systems, Products et al. - 1988
5   Comparison paper between the bell and lapadula model and the.. (context) - Taylor - 1984  DBLP
5   A policy model for denial of service (context) - Amoroso - 1990  DBLP
5   Resourceful systems for fault tolerance (context) - Abbott - 1990
5   Computer Security Institute (context) - Institute, Handbook - 1985
4   A Guide to Understanding AUDIT in Trusted Systems (context) - NCSC - 1987
4   Los Alamos National Laboratory (context) - Smith, Lava - 1989
4   Prototypes from standard user interface management systems (context) - Lewis - 1989  ACM   DBLP
4   Control and Security of Computer Information Systems (context) - Fites, Kratz et al. - 1989  ACM
3   The Puzzle Palace (context) - Bamford - 1983
3   IEEE Transactions on Software Engineering SE (context) - Denning - 1987
3   A new paradigm for trusted systems (context) - Denning - 1992
3   A Guide to Understanding Trusted Distribution in Trusted Sys.. (context) - NCSC - 1988
3   Security testing of aix system calls using prolog (context) - Cugini - 1989
3   Analysis of a kernel verification (context) - Benzel - 1984  DBLP
3   A secure distributed operating system (context) - Casey, Vinter et al. - 1988
3   A Guide to Understanding Design Documentation in Trusted Sys.. (context) - NCSC - 1987
3   A security policy and formal top level specification for a m.. (context) - McHugh, Moore - 1986
3   A penetration analysis of the michigan terminal system (context) - Hebbard - 1980  ACM   DBLP
3   Information Systems Security (context) - Fisher - 1984  ACM
3   Fault tolerant digital systems (context) - Prasad - 1989
2   Issues on the development of security related functional tes.. (context) - Haley, Mayer - 1985
2   Security approach for rapid prototyping in multilevel secure.. (context) - Ashby, Gregg et al. - 1989
2   Information-flow analysis for covert-channel identifcation i.. (context) - He, Gligor - 1990
2   A survey of data insecurity packages (context) - Kochanski - 1987  ACM
2   Computer Security Foundations Workshop (context) - Society - 1988
2   An assured pipeline integrity scheme for virus protection (context) - Page - 1989
2   Chapman and Hall (context) - Norman - 1983
2   Federal Criteria for Information Technology Security: Volume.. - NSA - 1992
2   Computer Security (context) - Hsiao, Kerr et al. - 1979  ACM
2   ix: On implementing unix on the lock tcb (context) - Schaffer, Walsh - 1988
2   Toward an understanding of extensible architectures for eval.. (context) - Schaefer, Schell - 1984  DBLP
2   security policy (context) - Chizmadia - 1992  ACM   DBLP
2   An analysis of the differences between the computer security.. (context) - Chalmers - 1986  DBLP
2   The seaview verification (context) - Whitehurst, Lunt - 1989
2   Federal Criteria for Information Technology Security: Volume.. - NSA - 1992
2   Technical Rationale Behind CSC-STD-003-85: Computer Security.. (context) - NCSC - 1985
2   A risk driven process model for the development of trusted s.. (context) - Marmor-Squires, McHugh et al. - 1989
2   Software methodology for development of a trusted bms: Ident.. (context) - Crocker - 1989
2   Methodology for network security design (context) - Graft, Pabrai et al. - 1990
2   Petri net based modeling of information flow security requir.. (context) - Varadharajan - 1990
2   Experience with a penetration analysis method and tool (context) - Gupta, Gligor - 1992
2   A comparison of formal security policy models (context) - Haigh - 1984
2   Security Managers Desk Reference (context) - Post, Schachtsiek - 1986
2   Risk Analysis and the Security Survey (context) - Broder - 1984
1   The Computer Security Handbook (context) - Baker - 1985
1   A network of trusted systems (context) - Schell, Thompson et al. - 1987
1   ACM SIGSAC Review (context) - Schweitzer - 1988
1   Visa scheme for inter-organizational network security (context) - Estrin, Tsudik - 1987
1   The basics of edp risk assessment (context) - Wade - 1987
1   Security standards - government and commercial (context) - Barker, Nelson - 1988
1   Computer Security and Protection Structures (context) - Walker, Blake - 1977
1   The Data Processing Security Game (context) - Becker - 1977
1   Assessing risks in a deconcentrated computing environment (context) - Heaps - 1985
1   Working towards a (context) - Bell - 1984
1   A testbed for information retrieval research: The utah retri.. (context) - Hollaar - 1985  DBLP
1   Special issue on: Data Security in Computer Networks (context) - Society, Computer - 1983
1   Information security: How far we have come (context) - Walker - 1989
1   Computer Crime and Business Information (context) - Schweitzer - 1986  ACM
1   Performance monitoring and projection for an information ret.. (context) - Wang - 1985
1   Computer Security Foundations Workshop VI (context) - Society - 1993
1   Conference welcome note (context) - Burrows, Gallagher - 1988
1   Advances in Computer Security Management (context) - Wofsey - 1983
1   Producing secure digital information systems (context) - Good - 1988
1   The Canadian Institute of Chartered Accountants (context) - of, Accountants et al. - 1986
1   Dual labels revisited (context) - Graubart - 1988
1   National Computing Center Publications (context) - Center, Next et al. - 1974
1   Computer Security Technology (context) - Cooper - 1984
1   Computers at Risk: Safe Computing in the Information Age (context) - Council - 1991
1   An automated performance analysis of a two phase locking pro.. (context) - Nounou, Yemini - 1985
1   A systematic approach to software security evaluations (context) - Theofanos - 1989
1   the real security problem is (context) - Anderson - 1992
1   Computer Security Management (context) - Parker - 1981  ACM
1   Design for Security: Second Edition (context) - Healy - 1983
1   Developing secure systems: Issues and solutions (context) - Freeman, Neely et al. - 1988
1   Security model development environment (context) - Heaney - 1989
1   IEEE Cipher - Newsletter of the Technical Committee on Secur.. (context) - Landwehr - 1989
1   Summary of rs-232 software repeater responses received to da.. (context) - Landwehr - 1990
1   Security of Computer Based Information Systems (context) - Lane - 1985
1   Retrofitting and developing applications for a trusted compu.. (context) - Gambel, Walter - 1988
1   Donn parker on computer crime (context) - Parker - 1992
1   Conference chairman's message (context) - Levy - 1986
1   A report on the invitational workshop on integrity policy in.. (context) - Parker, Newmann - 1987
1   Managing BSD System Software (context) - Computer - 1988
1   Protection for communication and sharing in a personal compu.. (context) - Dannenberg - 1985  DBLP
1   Developing trusted systems using dod-std-2167a (context) - Benzel - 1989
1   Integrating security requirements and software development s.. (context) - Benzel - 1989
1   How to Prevent Computer Crime (context) - Bequai - 1983  ACM
1   Guide to VAX/VMS System Security (context) - Corporation - 1985
1   Case histories in computer security: Installing a micro se- .. (context) - Birch - 1987
1   A transaction flow approach to software security certificati.. (context) - Pfleeger, Pfleeger - 1988  ACM
1   A security methodology for computer networks (context) - Pierson, Witzke - 1988
1   A conceptual model for computer security risk analysis (context) - Bodeau - 1992
1   NCC and Hayden Book Company (context) - Wong - 1977
1   Decentralized access control in a distributed system (context) - Ramamritham, Stemple et al. - 1985  DBLP
1   Security in computing (context) - Jacobs - 1989
1   IEEE Cipher - Newsletter of the Technical Committee on Secur.. (context) - Young - 1989
1   In Computer Security Handbook. Computer Security Institute (context) - Mounted, in et al. - 1985
1   A portable network-transparent communication system (context) - Zeleznik - 1985
1   Adding case technologies to formal verification (context) - Janeri, Barlas et al. - 1989
1   network-transparent communication system for message-based a.. (context) - Zeleznik - 1986
1   Foiling the System Breakers (context) - Lobel - 1986
1   Report from the second radc database security workshop (context) - Lunt - 1989
1   The search for a unifying framework for computer security (context) - Marcus - 1989
1   National Institute of Standards and Technology (context) - Industrial, for et al. - 1973
1   and Rougeau (context) - Marmor-Squires - 1988
1   Guidance for Applying the DoD TCSEC in Specific Environments (context) - NCSC, Requirements - 1985
1   Department of Defense Password Management Guideline (context) - NCSC - 1985
1   Computer Security Handbook: Strategies and Techniques for Pr.. (context) - Moulton - 1986
1   Department of Defense National Computer Security Center (context) - NCSC, Security - 1985
1   An approach to computer system modeling based on petri nets (context) - Kluge - 1985
1   Reliability and safety in real-time systems (context) - Bologna, Leveson - 1986

[Article contains additional citations not shown here]

Online articles have much greater impact   More about CiteSeer.IST   Add search form to your site   Submit documents   Feedback  

CiteSeer.IST - Copyright Penn State and NEC