Concepedia

E. Lupu

EL

Statistics

Publications

2

Citations

309

H-Index

2

Active since

2000

Affiliations

Imperial College London(Current)

E. Lupu is an author at Imperial College London specializing in data security, formal methods, and formal verification.

Top concepts

EngineeringData SecurityFormal MethodsSoftware DesignComputer ScienceDistributed SystemsFormal VerificationInformation SecuritySoftware EngineeringSecurity

Publications per year

2000–2002

2

Publications

2

Ponder: A Language for Specifying Security and Management Policies for Distributed Systems

Nicodemos Damianou, Naranker Dulay, E. Lupu et al. · Spiral (Imperial College London) · 2000 · 180 citations · Full text

Information Security Management, Engineering, Information Security +13

A policy deployment model for the Ponder language

Naranker Dulay, E. Lupu, Morris Sloman et al. · 2002 · 129 citations

Engineering, Information Security, Software Engineering +23

1–2 of 2