Francesco Parisi-Presicce

Author

Also Known As

F. PARISI-PRESICCE, F. Parisi-Presicce, Francesco Parisi-Presicce, Parisi Presicce, Francesco, Parisi-Presicce, Francesco

111

Publications

2.1K

Citations

H-Index

Concepts

All Affiliations

George Mason University Sapienza University of Rome University of L'Aquila Freie Universität Berlin Technische Universität Berlin

About

Francesco Parisi-Presicce is an author at George Mason University specializing in engineering, formal methods, and formal verification.

Top Concepts

#	Concept	H-Index	Publications	Citations
1	Engineering	16	22	1.1K
2	Computer Science	15	19	1K
3	Computer Engineering	4	4	208
4	Law	2	2	114
5	Accounting	1	1	59

Francesco Parisi-Presicce

Publications

1.2K

Citations

H-Index

Page 1

	Year	Citations
Formal model and policy specification of usage control Xinwen Zhang, Francesco Parisi-Presicce, Ravi Sandhu, ACM Transactions on Information and System Security EngineeringInformation SecurityVerificationFormal VerificationPolicy Management	2005	246
Parallelism and concurrency in high-level replacement systems Hartmut Ehrig, Annegret Habel, Hans‐Jörg Kreowski, Mathematical Structures in Computer Science EngineeringReplacement SystemsComputer ArchitectureConcurrent SystemHigher-order Logic	1991	158
A graph-based formalism for RBAC Manuel Koch, Luigi V. Mancini, Francesco Parisi-Presicce ACM Transactions on Information and System Security EngineeringInformation SecuritySoftware EngineeringGraph-based FormalismFormal Verification	2002	122
A logical specification for usage control Xinwen Zhang, Jae-Hong Park, Francesco Parisi-Presicce, EngineeringInformation SecurityVerificationSoftware AnalysisFormal Verification	2004	96
Algebraic specification of modules and their basic interconnections E. K. Blum, Hartmut Ehrig, Francesco Parisi-Presicce Journal of Computer and System Sciences Algebraic SpecificationAlgebraic StructureModern AlgebraCommutative Algebra	1987	68
Consistency checking and visualization of OCL constraints Paolo Bottoni, Manuel Koch, Francesco Parisi-Presicce, Lecture notes in computer science Mathematical ProgrammingConstraint SolvingFormal SpecificationEngineeringProgram Analysis	2000	60
Revocations - A classification A.L. Hagström, Sushil Jajodia, Francesco Parisi-Presicce, Ownership StructureMain Revocation CharacteristicsEngineeringLogical Access ControlInformation Security	2001	59
On the specification and evolution of access control policies M. Koch, Luigi V. Mancini, Francesco Parisi-Presicce EngineeringInformation SecurityLawNetwork AnalysisFormal Verification	2001	55
Graph-based specification of access control policies Manuel Koch, Luigi V. Mancini, Francesco Parisi-Presicce Journal of Computer and System Sciences EngineeringGraph TheoryLogical Access ControlInformation SecurityAccess Control	2005	49
Safety analysis of usage control authorization models Xinwen Zhang, Ravi Sandhu, Francesco Parisi-Presicce EngineeringInformation SecurityAuthorizationFormal VerificationHardware Security	2006	33

Page 1