Reflections on MOPs, components, and Java security

DOI10.1007/3-540-45337-7_14MaRDI QIDQ2779252zbMATH OpenFDO

Authors Denis Caromel, Julien Vayssière

Publication date 15 April 2002

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL http://link.springer.de/link/service/series/0558/bibs/2072/20720256

Mathematics Subject Classification ID

Theory of programming languages (68N15) Other programming paradigms (object-oriented, sequential, concurrent, automatic, etc.) (68N19) Computing methodologies and applications (68U99)

Recommendations

• scientific article; zbMATH DE number 2040571
• Implementation of security policies in computer systems by means of aspect-oriented programming
• A systematic approach to static access control
• Theorem Proving in Higher Order Logics
• Stack inspection

Cited in

(5)

• scientific article; zbMATH DE number 1962748 (Why is no real title available?)
• scientific article; zbMATH DE number 2040571 (Why is no real title available?)
• scientific article; zbMATH DE number 2040573 (Why is no real title available?)
• Re-engineering Security as a Crosscutting Concern
• Theorem Proving in Higher Order Logics

This page was built for publication: Reflections on MOPs, components, and Java security

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2779252)