Concepedia

Gabriele Wedel

GW

Statistics

Publications

1

Citations

50

H-Index

1

Active since

2002

Affiliations

RWTH Aachen University(Current)

Gabriele Wedel is an author at RWTH Aachen University specializing in formal methods, automated reasoning, and engineering.

Top concepts

EngineeringCryptographyVerificationData SecurityFormal MethodsComputer ScienceHardware SecurityLogic ProgrammingAutomated ReasoningFormal Verification

Publications per year

2002–2002

1

Publications

1

AUTLOG-an advanced logic of authentication

Volker Kessler, Gabriele Wedel · 2002 · 50 citations

Authentication Authorization, Ban Logic, Engineering +18

1–1 of 1