Concepedia

Phillip Allen

PA

Statistics

Publications

4

Citations

185

H-Index

4

Active since

1990

Affiliations

Hewlett-Packard (United Kingdom)(Current)

Phillip Allen is an author at Hewlett-Packard (United Kingdom) specializing in engineering, computer science, and formal methods.

Top concepts

EngineeringComputer ScienceData SecurityFormal MethodsInformation SecurityCryptographyFormal VerificationSystems EngineeringLawDesign

Publications per year

1990–2002

4

Publications

4

An analysis of the proxy problem in distributed systems

Vijay Varadharajan, Phillip Allen, Stewart Black · 2002 · 115 citations

Distributed Object Systems, Authentication Authorization, Engineering +16

A comparison of non-interference and non-deducibility using CSP

Phillip Allen · 2002 · 33 citations

Engineering, Information Security, Verification +17

Graphical specification of object oriented systems

Stephen Bear, Phillip Allen, Derek Coleman et al. · 1990 · 25 citations · Full text

Graphical Notation Objectcharts, Particular Configurations, Engineering +19

Joint actions based authorization schemes

Vijay Varadharajan, Phillip Allen · ACM SIGOPS Operating Systems Review · 1996 · 12 citations

Authentication Authorization, Engineering, Information Security +18

1–4 of 4