Sökning: "Mobile Code Security"

Visar resultat 1 - 5 av 8 avhandlingar innehållade orden Mobile Code Security.

1. 1. Security Infrastructure and Applicationsfor Mobile Agents

   Författare :Awais Shibli; Sead Muftic; Rebecca Montanari; KTH; []
   Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; Mobile Agents Security; Access Control; Network Security; Trusted Mobile Agents; Statistics; computer and systems science; Statistik; data- och systemvetenskap;

   Sammanfattning : Research areas of this dissertation are security for mobile agents, for applications based on mobile agents, and for distributed network environments in which mobile agents execute. Mobile agents paradigm has captured researchers’ and industry’s interests long time ago because of its innovative capabilities and attractive applications. LÄS MER

3. 2. Algorithmic Verification Techniques for Mobile Code

   Författare :Irem Aktug; Dilian Gurov; Mads Dam; Ulfar Erlingsson; KTH; []
   Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; Verification; Mobile Code Security; Reference Monitoring; Maximal Models; Compositional Verification; Theoretical computer science; Teoretisk datalogi;

   Sammanfattning : Modern computing platforms strive to support mobile code without putting system security at stake. These platforms can be viewed as open systems, as the mobile code adds new components to the running system. Establishing that such platforms function correctly can  be divided into two steps. LÄS MER

4. 3. MobiLeak : Security and Privacy of Personal Data in Mobile Applications

   Författare :Pasquale Stirparo; Sead Muftic; Steven Marcus Furnell; KTH; []
   Nyckelord :TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; mobile application; security; privacy; android; forensics; malware; Informations- och kommunikationsteknik; Information and Communication Technology; Computer Science; Datalogi;

   Sammanfattning : Smartphones and mobile applications have become an essential part of our daily lives. People always carry their smartphones with them and rely on mobile applications for most of their tasks: from checking emails for personal or business purposes, to engaging in social interactions via social networks, from trading online or checking their bank accounts to communicating with families and friends through instant messaging applications. LÄS MER

5. 4. On the Foundations of Practical Language-Based Security

   Författare :Maximilian Algehed; Chalmers tekniska högskola; []
   Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; Secure Multi-Execution; Parametricity; Programming Languages; Security;

   Sammanfattning : Language-based information flow control (IFC) promises to provide programming languages and tools that make it easy for developers to write secure code. Traditionally, research in this field aims to build a variant on a programming language or system that lets developers write code that gives them strong guarantees beyond the potential memory- and type-safety guarantees of modern languages. LÄS MER

7. 5. Secrecy for mobile implementations of security protocols

   Författare :Pablo Giambiagi; KTH; []
   Nyckelord :;

   Sammanfattning : Mobile code technology offers interesting possibilities tothe practitioner, but also raises strong concerns aboutsecurity. One aspect of security is secrecy, the preservationof confidential information. LÄS MER