BITS: a smartcard protected operating system

Subscribe (Full Service)


	Search: The ACM Digital Library The Guide

	Feedback

BITS: a smartcard protected operating system

Full text

Pdf (3.80 MB)

Source

Communications of the ACM archive
Volume 37 , Issue 11 (November 1994) table of contents

Pages: 66 - 70

Year of Publication: 1994

ISSN:0001-0782

Authors

Paul C. Clark	Trusted Information Systems, 3060 Washington Rd, Glenwood, MD
Lance J. Hoffman	Department of Electrical Engineering and Computer Science, The George Washington University, Washington, D.C.

Publisher

ACM New York, NY, USA

Bibliometrics

Downloads (6 Weeks): 16, Downloads (12 Months): 56, Citation Count: 5

Additional Information:

references cited by index terms collaborative colleagues

Tools and Actions:	Request Permissions Review this Article Save this Article to a Binder Display Formats: BibTeX EndNote ACM Ref

DOI Bookmark:	Use this link to bookmark this Article: http://doi.acm.org/10.1145/188280.188371 What is a DOI?

REFERENCES

Note: OCR errors may be found in this Reference List extracted from the full text article. ACM has opted to expose the complete List rather than only correct and linked references.

	1	Balzer, R., Cheathan. T.E., Jr., and Green, C. Software technology in the 1990's using a new paradigm. IEEE Comput. 16, II (1983), 39-45.
	2	David R. Barstow, Domain-specific automatic programming, IEEE Transactions on Software Engineering, v.11 n.11, p.1321-1336, Nov. 1985 [doi>10.1109/TSE.1985.231881]
	3	Barwise. J. Mathematical proofs of computer system correctness. Notices Am. math. soc. 36 (1989). 844-851.
	4	Bruce I. Blum, TEDIUM and the software process, MIT Press, Cambridge, MA, 1990
	5	Bruce I. Blum, Software engineering: a holistic view, Oxford University Press, Inc., New York, NY, 1992
	6	Blum, B.I. Representing open requirements with a fragment-based specification. IEEE Trans. Sys., Man, and cyber, 23 (1993), 724-736.
	7	G Booch, Object-oriented development, IEEE Transactions on Software Engineering, v.12 n.2, p.211-221, Feb. 1986
	8	Frederick P. Brooks, Jr., No silver bullet: essence and accidents of software engineering, Computer, v.20 n.4, p.10-19, April 1987 [doi>10.1109/MC.1987.1663532]
	9	J R Cameron, An overview of JSD, IEEE Transactions on Software Engineering, v.12 n.2, p.222-240, Feb. 1986
	10	B. Cohen , W. T. Harwood , M. I. Jackson, The Specification of Complex Systems, Addison-Wesley Longman Publishing Co., Inc., Boston, MA, 1986
	11	Tom DeMarco, Structured Analysis and System Specification, Prentice Hall PTR, Upper Saddle River, NJ, 1979
	12	Edsger W. Dijkstra, The structure of the “THE”-multiprogramming system, Communications of the ACM, v.11 n.5, p.341-346, May 1968 [doi>10.1145/363095.363143]
	13	Liskov, B.H. and Ziles, S.N., Specification techniques for data abstraction. IEEE Trans. soft. Eng. SE-I (1975), 7- 19.
	14	Bertrand Meyer, Object-oriented software construction (2nd ed.), Prentice-Hall, Inc., Upper Saddle River, NJ, 1997
	15	D. L. Parnas, A technique for software module specification with examples, Communications of the ACM, v.15 n.5, p.330-336, May 1972 [doi>10.1145/355602.361309]
	16	D. L. Parnas, On the criteria to be used in decomposing systems into modules, Communications of the ACM, v.15 n.12, p.1053-1058, Dec. 1972 [doi>10.1145/361598.361623]
	17	Ruben Prieto-Diaz , G. Arango, Domain Analysis and Software Systems Modeling, IEEE Computer Society Press, Los Alamitos, CA, 1991
	18	Stevens, W., Myers, G., and Constantine, L., Structured design. IBM Sys. J. 13 (1974), 115-139.
	19	Teichroew, D. abnd Hershey, E.A., III PSI/PSA: A computer-aided technique for structured documentation and analysis if information processing systems. IEEE Trans. Soft. Eng. SE-3 (1977), 41-48.
	20	Jean-Dominique Dominique Warnier, Logical Construction of Systems, John Wiley & Sons, Inc., New York, NY, 1981
	21	Pamela Zave, The operational versus the conventional approach to software development, Communications of the ACM, v.27 n.2, p.104-118, Feb. 1984 [doi>10.1145/69610.357982]

CITED BY 5

	Joseph Zambreno , Alok Choudhary , Rahul Simha , Bhagi Narahari , Nasir Memon, SAFE-OPS: An approach to embedded software security, ACM Transactions on Embedded Computing Systems (TECS), v.4 n.1, p.189-210, February 2005
	Mark D. Corner , Brian D. Noble, Zero-interaction authentication, Proceedings of the 8th annual international conference on Mobile computing and networking, September 23-28, 2002, Atlanta, Georgia, USA
	Mark D. Corner , Brian D. Noble, Protecting file systems with transient authentication, Wireless Networks, v.11 n.1-2, p.7-19, January 2005
	Rick Kennell , Leah H. Jamieson, Establishing the genuinity of remote computer systems, Proceedings of the 12th conference on USENIX Security Symposium, p.21-21, August 04-08, 2003, Washington, DC
	Eimear Gallery , Chris J. Mitchell, Trusted Computing: Security and Applications, Cryptologia, v.33 n.3, p.217-245, July 2009