A Field-Sensitive Security Monitor for Object-Oriented Programs von Khakpour, Narges

Volltext

Design and Implementation of Self-Protecting systems: A Formal Approach von Skandylas, Charilaos, Khakpour, Narges

Volltext

Smart-troubleshooting connected devices: Concept, challenges and opportunities von Caporuscio, Mauro, Flammini, Francesco, Khakpour, Narges, Singh, Prasannjeet, Thornadtsson, Johan

Volltext

AT-DIFC + : Toward Adaptive and Trust-Aware Decentralized Information Flow Control von Skandylas, Charilaos, Khakpour, Narges, Andersson, Jesper

Volltext

Control of Self-adaptation Under Partial Observation: A Modular Approach von Khakpour, Narges

Volltext

Symbolic Abstract Heaps for Polymorphic Information-Flow Guard Inference von Berthier, Nicolas, Khakpour, Narges

Volltext

Synthesis of a Permissive Security Monitor von Khakpour, Narges, Skandylas, Charilaos

Volltext

Coordinated actor model of self-adaptive track-based traffic control systems von Bagheri, Maryam, Sirjani, Marjan, Khamespanah, Ehsan, Khakpour, Narges, Akkaya, Ilge, Movaghar, Ali, Lee, Edward A.

Volltext

Synthesizing structural and behavioral control for reconfigurations in component-based systems von Khakpour, Narges, Arbab, Farhad, Rutten, Eric

Volltext

Design and Analysis of Self-protection: Adaptive Security for Software Systems von Skandylas, Charilaos

Volltext bestellen

Formal Verification of Information Flow Security for a Simple ARM-Based Separation Kernel von Dam, Mads, Guanciale, Roberto, Khakpour, Narges, Nemati, Hamed, Schwarz, Oliver

Volltext bestellen

Formal modeling of evolving self-adaptive systems von Khakpour, Narges, Jalili, Saeed, Talcott, Carolyn, Sirjani, Marjan, Mousavi, MohammadReza

Volltext

HPobSAM for modeling and analyzing IT Ecosystems – Through a case study von Khakpour, Narges, Jalili, Saeed, Sirjani, Marjan, Goltz, Ursula, Abolhasanzadeh, Bahareh

Volltext

Symbolic Abstract Heaps for Polymorphic Information-flow Guard Inference (Extended Version) von Berthier, Nicolas, Khakpour, Narges

Volltext bestellen

Partially-Observable Security Games for Automating Attack-Defense Analysis von Khakpour, Narges, Parker, David

Volltext bestellen

VERIFICATION OF DISTRIBUTED FIREWALLS CONFIGURATION VS. SECURITY POLICIES USING ℒ ℐ( ) von Khakpour, Narges, Jalili, Saeed

Volltext

Verification of Distributed Firewalls Configuration vs. Security Policies Using  A L C Q I ( d ) von Khakpour, Narges, Jalili, Saeed

Volltext

VERIFICATION OF DISTRIBUTED FIREWALLS CONFIGURATION VS. SECURITY POLICIES USING ALCQI (D) von Khakpour, Narges, Jalili, Saeed

Volltext

Machine Assisted Proof of ARMv7 Instruction Level Isolation Properties von Khakpour, Narges, Schwarz, Oliver, Dam, Mads

Volltext

Coordinated Actors for Reliable Self-adaptive Systems von Bagheri, Maryam, Akkaya, Ilge, Khamespanah, Ehsan, Khakpour, Narges, Sirjani, Marjan, Movaghar, Ali, Lee, Edward A.

Volltext