|
|
|
|
Venues (Conferences, Journals, ...)
|
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 22 occurrences of 18 keywords
|
|
|
|
|
Results
Found 24 publication records. Showing 24 according to the selection in the facets
| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Glenn Bruns, Philip W. L. Fong, Ida Siahaan, Michael Huth |
Relationship-based access control: its expression and enforcement through hybrid logic.  |
CODASPY  |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Philip W. L. Fong |
Preventing Sybil Attacks by Privilege Attenuation: A Design Principle for Social Network Systems.  |
IEEE Symposium on Security and Privacy  |
2011 |
DBLP DOI BibTeX RDF |
Principle of Privilege Attenuation, completeness of static analysis, access control, soundness, Sybil attacks, social network systems |
| 1 | Philip W. L. Fong |
Relationship-based access control: protection model and policy language.  |
CODASPY  |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Mohammad Jafari, Philip W. L. Fong, Reihaneh Safavi-Naini, Ken Barker, Nicholas Paul Sheppard |
Towards defining semantic foundations for purpose-based privacy policies.  |
CODASPY  |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Seyed Hossein Ahmadinejad, Mohd M. Anwar, Philip W. L. Fong |
Inference attacks by third-party extensions to social network systems.  |
PerCom Workshops  |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Philip W. L. Fong, Ida Siahaan |
Relationship-based access control policies and their policy languages.  |
SACMAT  |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Philip W. L. Fong, Simon A. Orr |
Isolating untrusted software extensions by custom scoping rules.  |
Computer Languages, Systems & Structures  |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Rainer Böhme, Philip W. L. Fong, Reihaneh Safavi-Naini (eds.) |
Information Hiding - 12th International Conference, IH 2010, Calgary, AB, Canada, June 28-30, 2010, Revised Selected Papers  |
Information Hiding  |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Philip W. L. Fong |
Reading a computer science research paper.  |
SIGCSE Bulletin  |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Fei Yan, Philip W. L. Fong |
Efficient IRM enforcement of history-based access control policies.  |
ASIACCS  |
2009 |
DBLP DOI BibTeX RDF |
distributed optimization protocol, history-based access control policies, language-based security, security automata, inlined reference monitors |
| 1 | Mohd M. Anwar, Philip W. L. Fong, Xue-Dong Yang, Howard J. Hamilton |
Visualizing Privacy Implications of Access Control Policies in Social Network Systems.  |
DPM/SETOP  |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Philip W. L. Fong, Mohd M. Anwar, Zhen Zhao |
A Privacy Preservation Model for Facebook-Style Social Network Systems.  |
ESORICS  |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Philip W. L. Fong |
Discretionary capability confinement.  |
Int. J. Inf. Sec.  |
2008 |
DBLP DOI BibTeX RDF |
Scoping rule, Access control, Java Virtual Machine, Capability, Language-based security, Confinement |
| 1 | Philip W. L. Fong |
Reasoning about safety properties in a JVM-like environment.  |
Sci. Comput. Program.  |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Philip W. L. Fong, Simon A. Orr |
A Module System for Isolating Untrusted Software Extensions.  |
ACSAC  |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Philip W. L. Fong |
Discretionary Capability Confinement.  |
ESORICS  |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Philip W. L. Fong |
Link-Time Enforcement of Confined Types for JVM Bytecode.  |
PST  |
2005 |
DBLP BibTeX RDF |
|
| 1 | Philip W. L. Fong |
Access Control By Tracking Shallow Execution History.  |
IEEE Symposium on Security and Privacy  |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Philip W. L. Fong |
Pluggable verification modules: an extensible protection mechanism for the JVM.  |
OOPSLA  |
2004 |
DBLP DOI BibTeX RDF |
Aegis VM, extensible protection mechanism, pluggable verification modules, proof linking, Java virtual machine, bytecode verification, extensible systems, mobile code security |
| 1 | Philip W. L. Fong, Robert D. Cameron |
Proof Linking: Distributed Verification of Java Classfiles in the Presence of Multiple Classloaders.  |
Java Virtual Machine Research and Technology Symposium  |
2001 |
DBLP BibTeX RDF |
|
| 1 | Philip W. L. Fong, Robert D. Cameron |
Proof linking: modular verification of mobile programs in the presence of lazy, dynamic linking.  |
ACM Trans. Softw. Eng. Methodol.  |
2000 |
DBLP DOI BibTeX RDF |
correctness conditions, proof linking, verification protocol, virtual machine architecture, Java, modularity, safety, mobile code, dynamic linking |
| 1 | Premkumar T. Devanbu, Philip W. L. Fong, Stuart G. Stubblebine |
Techniques for Trusted Software Engineering.  |
ICSE  |
1998 |
DBLP DOI BibTeX RDF |
|
| 1 | Philip W. L. Fong, Robert D. Cameron |
Proof Linking: An Architecture for Modular Verification of Dynamically-Linked Mobile Code.  |
SIGSOFT FSE  |
1998 |
DBLP DOI BibTeX RDF |
Java |
| 1 | Philip W. L. Fong |
A Quantitative Study of Hypothesis Selection.  |
ICML  |
1995 |
DBLP BibTeX RDF |
|
Displaying result #1 - #24 of 24 (100 per page; Change: )
|
|