منابع مشابه
A Testing Platform for Teaching Secure Distributed Systems Programming
In this paper, we report on our experience with transitioning a research platform for performing adversarial testing on distributed system implementations into a tool for teaching students how to implement robust distributed systems. We present how we integrated the tool in a graduate-level distributed systems course by describing the modifications we made to the tool, the projects used in conj...
متن کاملTeaching Object-Oriented Programming – Towards Teaching a Systematic Programming Process
Teaching introductory object-oriented programming is considered difficult. We have developed a model-driven object-first approach with strong focus on systematic techniques and explicit exposure of the programming process. It is our experience that this is a very effective approach: the students learn object-oriented programming as well as fundamental software engineering techniques, and the dr...
متن کاملParallelizing secure linear programming
Information sharing in supply chain management can dramatically improve the performance of the supply chain. Although many such problems can be modeled and efficiently solved using linear programming, security requirements prevent their implementation in the traditional way. Companies are simply reluctant to exchange such sensitive information. Secure multi-party computation can help by realizi...
متن کاملEvaluating Secure Programming Knowledge
Secure programming is a widely used term for programming robustly. Applying the principles and methodologies of this style of programming would significantly improve the quality of software in use today. Teaching students how to program robustly, or securely, is a first step towards this goal. This paper presents a concept map for secure programming and then some questions used to evaluate stud...
متن کاملSecure Programming in Klaim
In the design of programming languages for highly distributed systems where processes can migrate and execute on new hosts, the integration of security mechanisms is a major challenge. This paper describes the security mechanisms of the experimental programming language Klaim (a Kernel Language for Agents Interaction and Mobility). Klaim security architecture exploits a capability{based type sy...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: IEEE Security and Privacy Magazine
سال: 2005
ISSN: 1540-7993
DOI: 10.1109/msp.2005.133