Searching for just a few words should be enough to get started. If you need to make more complex queries, use the tips below to guide you.
Article type: Research Article
Authors: Besson, Frédérica | Jensen, Thomasa; * | Le Métayer, Danielb | Thorn, Tommyc
Affiliations: [a] IRISA/CNRS, Campus de Beaulieu, F-35042 Rennes Cedex, France | [b] Trusted Logic, 5, rue du Bailliage, F-78000 Versailles, France | [c] BRICS, University of Aarhus, DK-8000 Aarhus C, Denmark
Correspondence: [*] Corresponding author. Tel.: +33 2 99 84 74 78; Fax: +33 2 99 84 71 71; E-mail: thomas.jensen@irisa.fr.
Abstract: A fundamental problem in software-based security is whether local security checks inserted into the code are sufficient to implement a global security property. This article introduces a formalism based on a linear-time temporal logic for specifying global security properties pertaining to the control flow of the program, and illustrates its expressive power with a number of existing properties. We define a minimalistic, security-dedicated program model that only contains procedure call and run-time security checks and propose an automatic method for verifying that an implementation using local security checks satisfies a global security property. We then show how to instantiate the framework to the security architecture of Java 2 based on stack inspection and privileged method calls.
DOI: 10.3233/JCS-2001-9303
Journal: Journal of Computer Security, vol. 9, no. 3, pp. 217-250, 2001
IOS Press, Inc.
6751 Tepper Drive
Clifton, VA 20124
USA
Tel: +1 703 830 6300
Fax: +1 703 830 2300
sales@iospress.com
For editorial issues, like the status of your submitted paper or proposals, write to editorial@iospress.nl
IOS Press
Nieuwe Hemweg 6B
1013 BG Amsterdam
The Netherlands
Tel: +31 20 688 3355
Fax: +31 20 687 0091
info@iospress.nl
For editorial issues, permissions, book requests, submissions and proceedings, contact the Amsterdam office info@iospress.nl
Inspirees International (China Office)
Ciyunsi Beili 207(CapitaLand), Bld 1, 7-901
100025, Beijing
China
Free service line: 400 661 8717
Fax: +86 10 8446 7947
china@iospress.cn
For editorial issues, like the status of your submitted paper or proposals, write to editorial@iospress.nl
如果您在出版方面需要帮助或有任何建, 件至: editorial@iospress.nl