Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
105 | Peng Li, Steve Zdancewic |
Downgrading policies and relaxed noninterference. ![Search on Bibsonomy](Pics/bibsonomy.png) |
POPL ![In: Proceedings of the 32nd ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, POPL 2005, Long Beach, California, USA, January 12-14, 2005, pp. 158-170, 2005, ACM, 1-58113-830-X. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
downgrading policies, relaxed noninterference, information flow, language-based security, program equivalence |
105 | Stephen Chong, Andrew C. Myers |
Security policies for downgrading. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CCS ![In: Proceedings of the 11th ACM Conference on Computer and Communications Security, CCS 2004, Washington, DC, USA, October 25-29, 2004, pp. 198-209, 2004, ACM, 1-58113-961-6. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
information flow, security policies, noninterference, declassification, downgrading |
62 | Yi Lu 0003, John Potter, Jingling Xue |
Ownership Downgrading for Ownership Types. ![Search on Bibsonomy](Pics/bibsonomy.png) |
APLAS ![In: Programming Languages and Systems, 7th Asian Symposium, APLAS 2009, Seoul, Korea, December 14-16, 2009. Proceedings, pp. 144-160, 2009, Springer, 978-3-642-10671-2. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
62 | Dong-Xi Liu |
CSchema: A Downgrading Policy Language for XML Access Control. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Comput. Sci. Technol. ![In: J. Comput. Sci. Technol. 22(1), pp. 44-53, 2007. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
XML, access control, programming language, type system, security policy |
62 | Annalisa Bossi, Carla Piazza, Sabina Rossi |
Modelling Downgrading in Information Flow Security. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CSFW ![In: 17th IEEE Computer Security Foundations Workshop, (CSFW-17 2004), 28-30 June 2004, Pacific Grove, CA, USA, pp. 187-, 2004, IEEE Computer Society, 0-7695-2169-X. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
60 | Silvia Crafa, Sabina Rossi |
P-congruences as non-interference for the pi-calculus. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FMSE ![In: Proceedings of the 2006 ACM workshop on Formal methods in security engineering, FMSE 2006, Alexandria, VA, USA, November 3, 2006, pp. 13-22, 2006, ACM, 1-59593-550-9. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
process calculi, noninterference, downgrading |
53 | Liwu Chang, Ira S. Moskowitz |
Parsimonious Downgrading and Decision Trees Applied to the Inference Problem. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Workshop on New Security Paradigms ![In: Proceedings of the 1998 Workshop on New Security Paradigms, Charlottsville, VA, USA, September 22-25, 1998, pp. 82-89, 1998, ACM, 1-58113-168-2. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
data mining, rules, inference, downgrading |
52 | Sungeun Kim, Heechang Kim, John A. Copeland |
Dynamic radio resource allocation considering QoS in UMTS network. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MWCN ![In: Proceedings of The Fourth IEEE Conference on Mobile and Wireless Communications Networks, MWCN 2002, September 9-11, 2002, Stockholm, Sweden, pp. 636-640, 2002, IEEE. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
45 | Angelo Brayner |
Lock Downgrading: An Approach to Increase Inter-transaction Parallelism in Advanced Database Applications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DEXA ![In: Database and Expert Systems Applications, 12th International Conference, DEXA 2001 Munich, Germany, September 3-5, 2001, Proceedings, pp. 330-339, 2001, Springer, 3-540-42527-6. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
43 | Anindya Banerjee 0001, David A. Naumann, Stan Rosenberg |
Expressive Declassification Policies and Modular Static Enforcement. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SP ![In: 2008 IEEE Symposium on Security and Privacy (SP 2008), 18-21 May 2008, Oakland, California, USA, pp. 339-353, 2008, IEEE Computer Society, 978-0-7695-3168-7. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
verification, information flow, declassification, downgrading |
43 | John A. Davidson |
Asymmetric Isolation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACSAC ![In: 12th Annual Computer Security Applications Conference (ACSAC 1996), 9-13 December 1996, San Diego, CA, USA, pp. 44-54, 1996, IEEE Computer Society. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
asymmetric isolation, unidirectional security, risk-free multi-level security, absolute security rule enforcement, security violations, multi-level communication handshaking, multiple single-level nodes, unidirectional links, hardware-enforced security, performance, cost, security of data, legacy systems, mandatory access control, downgrading |
34 | Peng Li, Steve Zdancewic |
Practical Information-flow Control in Web-Based Information Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CSFW ![In: 18th IEEE Computer Security Foundations Workshop, (CSFW-18 2005), 20-22 June 2005, Aix-en-Provence, France, pp. 2-15, 2005, IEEE Computer Society, 0-7695-2340-4. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
34 | Heiko Mantel, David Sands 0001 |
Controlled Declassification Based on Intransitive Noninterference. ![Search on Bibsonomy](Pics/bibsonomy.png) |
APLAS ![In: Programming Languages and Systems: Second Asian Symposium, APLAS 2004, Taipei, Taiwan, November 4-6, 2004. Proceedings, pp. 129-145, 2004, Springer, 3-540-23724-0. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
27 | Hassene Aissi, Da Qi Chen, R. Ravi 0001 |
Vertex downgrading to minimize connectivity. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Math. Program. ![In: Math. Program. 199(1), pp. 215-249, May 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
27 | Zongyu Xie, Wenjie Xu, Hongxia Zhang, Li Li, Yongyu An, Guoqun Mao |
The value of MRI for downgrading of breast suspicious lesions detected on ultrasound. ![Search on Bibsonomy](Pics/bibsonomy.png) |
BMC Medical Imaging ![In: BMC Medical Imaging 23(1), pp. 72, December 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
27 | Elias Heftrig, Haya Schulmann, Michael Waidner |
Downgrading DNSSEC: How to Exploit Crypto Agility for Hijacking Signed Zones. ![Search on Bibsonomy](Pics/bibsonomy.png) |
USENIX Security Symposium ![In: 32nd USENIX Security Symposium, USENIX Security 2023, Anaheim, CA, USA, August 9-11, 2023, pp. 7429-7444, 2023, USENIX Association. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP BibTeX RDF |
|
27 | Bernd Krieg-Brückner, Marc Robin Nolte, Mihai Pomarlan, Michaela Kümpel |
The Downgrading Axioms Challenge for Qualitative Composition of Food Ingredients (full paper). ![Search on Bibsonomy](Pics/bibsonomy.png) |
SemREC/SMART@ISWC ![In: Joint Proceedings of SemREC 2022 and SMART 2022 co-located with 21st International Semantic Web Conference (ISWC 2022), Hybrid event, Hangzhou, China, October 24-27, 2022., pp. 6-15, 2022, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP BibTeX RDF |
|
27 | Muncheon Yoo, Hyundo Yoon, Changhee Hahn, Dongyoung Koo, Junbeom Hur |
Downgrading Backward Privacy of Searchable Encryption. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICOIN ![In: International Conference on Information Networking, ICOIN 2022, Jeju-si, Republic of Korea, January 12-15, 2022, pp. 324-328, 2022, IEEE, 978-1-6654-1332-9. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
27 | Kylie Moore-Gilbert, Zainab Abdul-Nabi |
Authoritarian downgrading, (self)censorship and new media activism after the Arab Spring. ![Search on Bibsonomy](Pics/bibsonomy.png) |
New Media Soc. ![In: New Media Soc. 23(5), 2021. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
27 | Duo Liu, Xingni Li, Po-Chun Huang, Yi Gu, Yingjian Ling, Kan Zhong, Renping Liu, Xianzhang Chen, Liang Liang 0002 |
Downsizing Without Downgrading: Approximated Dynamic Time Warping on Nonvolatile Memories. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. ![In: IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 39(1), pp. 131-144, 2020. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
27 | Hassene Aissi, Da Qi Chen, R. Ravi 0001 |
Vertex Downgrading to Minimize Connectivity. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SWAT ![In: 17th Scandinavian Symposium and Workshops on Algorithm Theory, SWAT 2020, June 22-24, 2020, Tórshavn, Faroe Islands., pp. 5:1-5:15, 2020, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-95977-150-4. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
27 | Hassene Aissi, Da Qi Chen, R. Ravi 0001 |
Downgrading to Minimize Connectivity. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1911.11229, 2019. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP BibTeX RDF |
|
27 | Oliver Wiese, Joscha Lausch, Jakob Bode, Volker Roth 0002 |
Beware the downgrading of secure electronic mail. ![Search on Bibsonomy](Pics/bibsonomy.png) |
STAST ![In: STAST 2018: 8th International Workshop on Socio-Technical Aspects in Security and Trust, San Juan, Puerto Rico, USA, December, 2018, pp. 1:1-1:9, 2018, ACM, 978-1-4503-7285-5. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
27 | Tianming Yang, Haitao Wu, Wei Sun |
GD-FTL: Improving the Performance and Lifetime of TLC SSD by Downgrading Worn-out Blocks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IPCCC ![In: 37th IEEE International Performance Computing and Communications Conference, IPCCC 2018, Orlando, FL, USA, November 17-19, 2018, pp. 1-8, 2018, IEEE, 978-1-5386-6808-5. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
27 | Frank Plastria |
Up- and downgrading the euclidean 1-median problem and knapsack Voronoi diagrams. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Ann. Oper. Res. ![In: Ann. Oper. Res. 246(1-2), pp. 227-251, 2016. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
27 | Christine Fricker, Fabrice Guillemin, Philippe Robert |
Analysis of Downgrading for Resource Allocation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SIGMETRICS Perform. Evaluation Rev. ![In: SIGMETRICS Perform. Evaluation Rev. 44(2), pp. 24-26, 2016. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
27 | Christine Fricker, Fabrice Guillemin, Philippe Robert, Guilherme Thompson |
Allocation Schemes of Ressources with Downgrading. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1604.00894, 2016. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP BibTeX RDF |
|
27 | Lucas Waye, Pablo Buiras, Dan King, Stephen Chong, Alejandro Russo |
It's My Privilege: Controlling Downgrading in DC-Labels. ![Search on Bibsonomy](Pics/bibsonomy.png) |
STM ![In: Security and Trust Management - 11th International Workshop, STM 2015, Vienna, Austria, September 21-22, 2015, Proceedings, pp. 203-219, 2015, Springer, 978-3-319-24857-8. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
27 | Kazunori Fujiwara |
Post-Delivery Message Downgrading for Internationalized Email Messages. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RFC ![In: RFC 6857, pp. 1-20, March 2013. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
27 | Arnt Gulbrandsen |
Simplified POP and IMAP Downgrading for Internationalized Email. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RFC ![In: RFC 6858, pp. 1-6, March 2013. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
27 | Ondrej Sváb-Zamazal, Anne Schlicht, Heiner Stuckenschmidt, Vojtech Svátek |
Constructs Replacing and Complexity Downgrading via a Generic OWL Ontology Transformation Framework. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SOFSEM ![In: SOFSEM 2013: Theory and Practice of Computer Science, 39th International Conference on Current Trends in Theory and Practice of Computer Science, Špindlerův Mlýn, Czech Republic, January 26-31, 2013. Proceedings, pp. 528-539, 2013, Springer, 978-3-642-35842-5. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
27 | Paavo Alku, Jouni Pohjalainen, Martti Vainio, Anne-Maria Laukkanen, Brad H. Story |
Improved formant frequency estimation from high-pitched vowels by downgrading the contribution of the glottal source with weighted linear prediction. ![Search on Bibsonomy](Pics/bibsonomy.png) |
INTERSPEECH ![In: INTERSPEECH 2012, 13th Annual Conference of the International Speech Communication Association, Portland, Oregon, USA, September 9-13, 2012, pp. 1612-1615, 2012, ISCA. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
27 | Emilio Carrizosa, Belen Martin-Barragan |
Maximizing upgrading and downgrading margins for ordinal regression. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Math. Methods Oper. Res. ![In: Math. Methods Oper. Res. 74(3), pp. 381-407, 2011. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
27 | Georgia Giannakopoulou, George M. Spyrou, Argyro Antaraki, Ioannis Andreadis, Dimitra Koulocheri, Flora Zagouri, Afroditi Nonni, George M. Filippakis, Konstantina S. Nikita, Panos A. Ligomenides, George C. Zografos |
Downgrading BIRADS 3 to BIRADS 2 category using a computer-aided microcalcification analysis and risk assessment system for early breast cancer. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Comput. Biol. Medicine ![In: Comput. Biol. Medicine 40(11-12), pp. 853-859, 2010. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
27 | Grit Denker, Ashish Gehani, Minyoung Kim, David Hanz |
Policy-Based Data Downgrading: Toward a Semantic Framework and Automated Tools to Balance Need-to-Protect and Need-to-Share Policies. ![Search on Bibsonomy](Pics/bibsonomy.png) |
POLICY ![In: POLICY 2010, IEEE International Symposium on Policies for Distributed Systems and Networks, Fairfax, VA, USA, 21-23 July 2010, pp. 120-128, 2010, IEEE Computer Society, 978-1-4244-8206-1. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
27 | Elisabeth Gassner |
A game-theoretic approach for downgrading the 1-median in the plane with Manhattan metric. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Ann. Oper. Res. ![In: Ann. Oper. Res. 172(1), pp. 393-404, 2009. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
27 | Elisabeth Gassner |
Up- and downgrading the 1-center in a network. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Eur. J. Oper. Res. ![In: Eur. J. Oper. Res. 198(2), pp. 370-377, 2009. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
27 | Kazunori Fujiwara, Yoshiro Yoneya |
Downgrading Mechanism for Email Address Internationalization. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RFC ![In: RFC 5504, pp. 1-24, March 2009. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
27 | Julien A. Thomas, Nora Cuppens-Boulahia, Frédéric Cuppens |
Modeling and Controlling Downgrading Operations in Information Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SITIS ![In: Fifth International Conference on Signal-Image Technology & Internet-Based Systems, SITIS 2009, Marrakesh, Morocco, November 29 - December 4, 2009, pp. 377-384, 2009, IEEE Computer Society, 978-0-7695-3959-1. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
27 | Ertunga C. Özelkan, Metin Çakanyildirim |
Resource downgrading. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Eur. J. Oper. Res. ![In: Eur. J. Oper. Res. 177(1), pp. 572-590, 2007. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
27 | Frédéric Cuppens, Alban Gabillon |
Modelling a Multilevel Database with Temporal Downgrading Functionalities. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DBSec ![In: Database Security IX: Status and Prospects, Proceedings of the Ninth Annual IFIP WG11 Working Conference on Database Security, Rensselaerville, New York, USA, 13-16 August 1995, pp. 145-164, 1995, Chapman & Hall, 0-412-72920-2. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP BibTeX RDF |
|
27 | Harald Tveit Alvestrand, James A. Romaguera, Kevin E. Jordan |
Rules for downgrading messages from X.400/88 to X.400/84 when MIME content-types are present in the messages. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RFC ![In: RFC 1496, pp. 1-5, August 1993. The full citation details ...](Pics/full.jpeg) |
1993 |
DBLP DOI BibTeX RDF |
|
27 | Stephen E. Hardcastle-Kille |
X.400 1988 to 1984 downgrading. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RFC ![In: RFC 1328, pp. 1-5, May 1992. The full citation details ...](Pics/full.jpeg) |
1992 |
DBLP DOI BibTeX RDF |
|
27 | Charles W. Kurak Jr., John McHugh |
A cautionary note on image downgrading. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACSAC ![In: Eighth Annual Computer Security Applications Conference, ACSAC 1992, November 30 - December 4, 1992, San Antonio, Texas, USA, pp. 153-159, 1992, IEEE. The full citation details ...](Pics/full.jpeg) |
1992 |
DBLP DOI BibTeX RDF |
|
26 | Aslan Askarov, Andrei Sabelfeld |
Localized delimited release: combining the what and where dimensions of information release. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PLAS ![In: Proceedings of the 2007 Workshop on Programming Languages and Analysis for Security, PLAS 2007, San Diego, California, USA, June 14, 2007, pp. 53-60, 2007, ACM, 978-1-59593-711-7. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
de-classification, information flow, security policies, noninterference, downgrading |
26 | Steve Zdancewic, Lantian Zheng, Nathaniel Nystrom, Andrew C. Myers |
Secure program partitioning. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Trans. Comput. Syst. ![In: ACM Trans. Comput. Syst. 20(3), pp. 283-328, 2002. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
mutual distrust, distributed systems, integrity, type systems, security policies, Confidentiality, secrecy, declassification, downgrading |
26 | Andrew C. Myers, Barbara Liskov |
Protecting privacy using the decentralized label model. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Trans. Softw. Eng. Methodol. ![In: ACM Trans. Softw. Eng. Methodol. 9(4), pp. 410-442, 2000. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
principals, integrity, policies, lattice, confidentiality, roles, type checking, information flow controls, declassification, end-to-end, downgrading |
17 | Amruta Mhatre, Durga Toshniwal |
Hiding co-occurring sensitive patterns in progressive databases. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EDBT/ICDT Workshops ![In: Proceedings of the 2010 EDBT/ICDT Workshops, Lausanne, Switzerland, March 22-26, 2010, 2010, ACM, 978-1-60558-990-9. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
co-occurrence hiding, progressive databases, data mining, sequential pattern mining |
17 | Cheng-Kok Koh, Weng-Fai Wong, Yiran Chen 0001, Hai Li 0001 |
Tolerating process variations in large, set-associative caches: The buddy cache. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Trans. Archit. Code Optim. ![In: ACM Trans. Archit. Code Optim. 6(2), pp. 8:1-8:34, 2009. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
caches, Processor architectures, fault recovery, memory structures |
17 | Tal A. Beery, Ram Zamir |
Multi Level Multiple Descriptions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DCC ![In: 2009 Data Compression Conference (DCC 2009), 16-18 March 2009, Snowbird, UT, USA, pp. 63-72, 2009, IEEE Computer Society, 978-0-7695-3592-0. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
17 | Saar Drimer, Markus G. Kuhn |
A Protocol for Secure Remote Updates of FPGA Configurations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ARC ![In: Reconfigurable Computing: Architectures, Tools and Applications, 5th International Workshop, ARC 2009, Karlsruhe, Germany, March 16-18, 2009. Proceedings, pp. 50-61, 2009, Springer, 978-3-642-00640-1. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
17 | Satoshi Nakamura 0002, Takehiro Yamamoto, Katsumi Tanaka |
SyncRerank: Reranking Multi Search Results Based on Vertical and Horizontal Propagation of User Intention. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WISE ![In: Web Information Systems Engineering - WISE 2008, 9th International Conference, Auckland, New Zealand, September 1-3, 2008. Proceedings, pp. 120-135, 2008, Springer, 978-3-540-85480-7. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
17 | John C. Mitchell, Arnab Roy 0001, Paul D. Rowe, Andre Scedrov |
Analysis of EAP-GPSK Authentication Protocol. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACNS ![In: Applied Cryptography and Network Security, 6th International Conference, ACNS 2008, New York, NY, USA, June 3-6, 2008. Proceedings, pp. 309-327, 2008, 978-3-540-68913-3. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
17 | Marti A. Hearst, Daniela Karin Rosner |
Tag Clouds: Data Analysis Tool or Social Signaller? ![Search on Bibsonomy](Pics/bibsonomy.png) |
HICSS ![In: 41st Hawaii International International Conference on Systems Science (HICSS-41 2008), Proceedings, 7-10 January 2008, Waikoloa, Big Island, HI, USA, pp. 160, 2008, IEEE Computer Society, 0-7695-3075-3. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
17 | Stephen Tse, Steve Zdancewic |
Run-time principals in information-flow type systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Trans. Program. Lang. Syst. ![In: ACM Trans. Program. Lang. Syst. 30(1), pp. 6, 2007. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
Decentralized label model, dynamic principals, run-time principals, security-typed language, type systems, information-flow, soundness, noninterference |
17 | Arun Panayappan, Sriram Anand, Raghu P. Pushpakath |
Intelligent Agents as Trust Negotiators for Federated Security. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICWS ![In: 2007 IEEE International Conference on Web Services (ICWS 2007), July 9-13, 2007, Salt Lake City, Utah, USA, pp. 1183-1184, 2007, IEEE Computer Society, 0-7695-2924-0. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
17 | Christian Winter 0002, Thorsten Zerfaß, Matthias Elter, Stephan Rupp, Thomas Wittenberg |
Physically Motivated Enhancement of Color Images for Fiber Endoscopy. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MICCAI (2) ![In: Medical Image Computing and Computer-Assisted Intervention - MICCAI 2007, 10th International Conference, Brisbane, Australia, October 29 - November 2, 2007, Proceedings, Part II, pp. 360-367, 2007, Springer, 978-3-540-75758-0. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
17 | Junghwa Chae |
Towards Modal Logic Formalization of Role-Based Access Control with Object Classes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FORTE ![In: Formal Techniques for Networked and Distributed Systems - FORTE 2007, 27th IFIP WG 6.1 International Conference, Tallinn, Estonia, June 27-29, 2007, Proceedings, pp. 97-111, 2007, Springer, 978-3-540-73195-5. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
object class hierarchy, tableaux method, Role-based access control, modal logic, object classes |
17 | Li Jiang, Lingdi Ping, Xuezeng Pan |
Extending intransitive noninterference with probabilities in information flow security. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IMSCCS ![In: Proceeding of the Second International Multi-Symposium of Computer and Computational Sciences (IMSCCS 2007), August 13-15, 2007, The University of Iowa, Iowa City, Iowa, USA, pp. 337-343, 2007, IEEE Computer Society, 0-7695-3039-7. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
17 | Padmavathi Mundur, Arun K. Sood, Robert Simon |
Class-based access control for distributed video-on-demand systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Circuits Syst. Video Technol. ![In: IEEE Trans. Circuits Syst. Video Technol. 15(7), pp. 844-853, 2005. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
17 | Stephen Tse, Steve Zdancewic |
A Design for a Security-Typed Language with Certificate-Based Declassification. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ESOP ![In: Programming Languages and Systems, 14th European Symposium on Programming, ESOP 2005, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2005, Edinburgh, UK, April 4-8, 2005, Proceedings, pp. 279-294, 2005, Springer, 3-540-25435-8. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
17 | Byungchul Park, Eui-nam Huh, Hyunseung Choo, Yoojung Kim |
TCP Performance Enhancement Based on Virtual Receive Buffer with PID Control Mechanism. ![Search on Bibsonomy](Pics/bibsonomy.png) |
OTM Workshops ![In: On the Move to Meaningful Internet Systems 2005: OTM 2005 Workshops, OTM Confederated International Workshops and Posters, AWeSOMe, CAMS, GADA, MIOS+INTEROP, ORM, PhDS, SeBGIS, SWWS, and WOSE 2005, Agia Napa, Cyprus, October 31 - November 4, 2005, Proceedings, pp. 347-356, 2005, Springer, 3-540-29739-1. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
17 | Ayça Azgin Hintoglu, Yücel Saygin |
Suppressing Microdata to Prevent Probabilistic Classification Based Inference. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Secure Data Management ![In: Secure Data Management, Second VLDB Workshop, SDM 2005, Trondheim, Norway, September 2-3, 2005, Proceedings, pp. 155-169, 2005, Springer, 3-540-28798-1. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
17 | Tachio Terauchi, Alexander Aiken |
Secure Information Flow as a Safety Problem. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SAS ![In: Static Analysis, 12th International Symposium, SAS 2005, London, UK, September 7-9, 2005, Proceedings, pp. 352-367, 2005, Springer, 3-540-28584-9. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
17 | Andrew D. Gordon 0001, Alan Jeffrey |
Secrecy Despite Compromise: Types, Cryptography, and the Pi-Calculus. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CONCUR ![In: CONCUR 2005 - Concurrency Theory, 16th International Conference, CONCUR 2005, San Francisco, CA, USA, August 23-26, 2005, Proceedings, pp. 186-201, 2005, Springer, 3-540-28309-9. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
17 | Andrew C. Myers, Andrei Sabelfeld, Steve Zdancewic |
Enforcing Robust Declassification. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CSFW ![In: 17th IEEE Computer Security Foundations Workshop, (CSFW-17 2004), 28-30 June 2004, Pacific Grove, CA, USA, pp. 172-186, 2004, IEEE Computer Society, 0-7695-2169-X. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
17 | Mudhakar Srivatsa, Bugra Gedik, Ling Liu 0001 |
Scaling Unstructured Peer-to-Peer Networks With Multi-Tier Capacity-Aware Overlay Topologies. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICPADS ![In: 10th International Conference on Parallel and Distributed Systems, ICPADS 2004, Newport Beach, CA, USA, July 7-9, 2004, pp. 17-24, 2004, IEEE Computer Society, 0-7695-2152-5. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
17 | Stephen Tse, Steve Zdancewic |
Run-time Principals in Information-flow Type Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
S&P ![In: 2004 IEEE Symposium on Security and Privacy (S&P 2004), 9-12 May 2004, Berkeley, CA, USA, pp. 179-193, 2004, IEEE Computer Society, 0-7695-2136-3. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
17 | Jeremy W. Bryans, Maciej Koutny, Peter Y. A. Ryan |
Modelling Dynamic Opacity Using Petri Nets with Silent Actions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Formal Aspects in Security and Trust ![In: Formal Aspects in Security and Trust: Second IFIP TC1 WG1.7 Workshop on Formal Aspects in Security and Trust (FAST), an event of the 18th IFIP World Computer Congress, August 22-27, 2004, Toulouse, France, pp. 159-172, 2004, Springer, 0-387-24050-0. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
non-deducibility, observable behaviour, silent actions, Petri nets, anonymity, opacity |
17 | Michael Backes 0001, Birgit Pfitzmann |
Intransitive Non-Interference for Cryptographic Purpose. ![Search on Bibsonomy](Pics/bibsonomy.png) |
S&P ![In: 2003 IEEE Symposium on Security and Privacy (S&P 2003), 11-14 May 2003, Berkeley, CA, USA, pp. 140-, 2003, IEEE Computer Society, 0-7695-1940-7. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
17 | Joseph Y. Halpern, Kevin R. O'Neill |
Secrecy in Multiagent Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CSFW ![In: 15th IEEE Computer Security Foundations Workshop (CSFW-15 2002), 24-26 June 2002, Cape Breton, Nova Scotia, Canada, pp. 32-, 2002, IEEE Computer Society, 0-7695-1689-0. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
17 | Steve Zdancewic, Andrew C. Myers |
Robust Declassification. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CSFW ![In: 14th IEEE Computer Security Foundations Workshop (CSFW-14 2001), 11-13 June 2001, Cape Breton, Nova Scotia, Canada, pp. 15-23, 2001, IEEE Computer Society, 0-7695-1146-5. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
17 | Heiko Mantel |
Information Flow Control and Applications - Bridging a Gap. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FME ![In: FME 2001: Formal Methods for Increasing Software Productivity, International Symposium of Formal Methods Europe, Berlin, Germany, March 12-16, 2001, Proceedings, pp. 153-172, 2001, Springer, 3-540-41791-5. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
17 | Brian Dunkel, Qiang Zhu 0001, Wing Lau, Suyun Chen |
Multiple-granularity interleaving for piggyback query processing. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CASCON ![In: Proceedings of the 1999 conference of the Centre for Advanced Studies on Collaborative Research, November 8-11, 1999, Mississauga, Ontario, Canada, pp. 2, 1999, IBM. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP BibTeX RDF |
database statistics, multiple-granularity interleaving, query processing, query optimization, piggybacking |
17 | Simon N. Foley, Li Gong, Xiaolei Qian |
A Security Model of Dynamic Labeling Providing a Tiered Approach to Verification. ![Search on Bibsonomy](Pics/bibsonomy.png) |
S&P ![In: 1996 IEEE Symposium on Security and Privacy, May 6-8, 1996, Oakland, CA, USA, pp. 142-153, 1996, IEEE Computer Society, 0-8186-7417-2. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
|