prahlad's Top Recommendations

These recommendations were last updated 13 minutes ago.

	Ten commandments of formal methods [My Copy] Computer, Vol. 28, No. 4. (1995), pp. 56-63. by J. P. Bowen, M. G. Hinchey posted by 5 people michaelbanks benavides oster tdg ecoo-ce
	An Open Extensible Tool Environment for Event-B [My Copy] Formal Methods and Software Engineering (2006), pp. 588-605. by Jean-Raymond Abrial, Michael Butler, Stefan Hallerstede, Laurent Voisin posted by 5 people michaelbanks juniorpivetta jhs06r Event-B RODIN & DEPLOY
	Regression testing of GUIs [My Copy] In ESEC/FSE-11: Proceedings of the 9th European software engineering conference held jointly with 11th ACM SIGSOFT international symposium on Foundations of software engineering (2003), pp. 118-127. by Atif M. Memon, Mary L. Soffa posted by 2 people shimomura kevin3stone
	Test templates: a specification-based testing framework [My Copy] Software Engineering, 1993. Proceedings., 15th International Conference on In Software Engineering, 1993. Proceedings., 15th International Conference on (1993), pp. 405-414. by P. A. Stocks, D. A. Carrington posted by 2 people statistic01 kevin3stone
	An event-flow model of GUI-based applications for testing: Research Articles [My Copy] Softw. Test. Verif. Reliab., Vol. 17, No. 3. (September 2007), pp. 137-157. by Atif M. Memon posted by 1 person kevin3stone
	Practical Model-Based Testing: A Tools Approach [My Copy] (27 November 2006) by Mark Utting, Bruno Legeard posted by 1 person kevin3stone
	A Comprehensive Framework for Testing Graphical User Interfaces [My Copy] (2001) by A. Memon posted by 1 person kevin3stone
	Automated test oracles for GUIs [My Copy] SIGSOFT Softw. Eng. Notes, Vol. 25, No. 6. (November 2000), pp. 30-39. by Atif M. Memon, Martha E. Pollack, Mary L. Soffa posted by 1 person kevin3stone
	Measuring Requirements Testing Experience Report [My Copy] Software Engineering, 1997., Proceedings of the 1997 (19th) International Conference on In Software Engineering, 1997., Proceedings of the 1997 (19th) International Conference on (1997), pp. 372-379. by T. Hammer, L. Rosenberg, L. Huffman, L. Hyatt posted by 1 person kevin3stone
	Integrating customized test requirements with traditional requirements in web application testing [My Copy] In TAV-WEB '06: Proceedings of the 2006 workshop on Testing, analysis, and verification of web services and applications (2006), pp. 23-32. by Sreedevi Sampath, Sara Sprenkle, Emily Gibson, Lori Pollock posted by 1 person kevin3stone
	Automated requirements-based test case generation [My Copy] SIGSOFT Softw. Eng. Notes, Vol. 31, No. 6. (November 2006), pp. 1-2. by Ajitha Rajan posted by 1 person kevin3stone
	Automation of GUI testing using a model-driven approach [My Copy] In AST '06: Proceedings of the 2006 international workshop on Automation of software test (2006), pp. 9-14. by Marlon Vieira, Johanne Leduc, Bill Hasling, Rajesh Subramanyan, Juergen Kazmeier posted by 2 people shimomura kevin3stone
	Story driven testing - SDT [My Copy] SIGSOFT Softw. Eng. Notes, Vol. 30, No. 4. (July 2005), pp. 1-6. by Leif Geiger, Albert Zündorf posted by 1 person kevin3stone
	Designing and comparing automated test oracles for GUI-based software applications [My Copy] ACM Trans. Softw. Eng. Methodol., Vol. 16, No. 1. (February 2007) by Qing Xie, Atif M. Memon posted by 1 person kevin3stone
	A case study of automatically creating test suites from web application field data [My Copy] In TAV-WEB '06: Proceedings of the 2006 workshop on Testing, analysis, and verification of web services and applications (2006), pp. 1-9. by Sara Sprenkle, Emily Gibson, Sreedevi Sampath, Lori Pollock posted by 1 person kevin3stone
	Improving Web Application Testing with User Session Data [My Copy] (2003) by S. Elbaum, S. Karre, G. Rothermel posted by 1 person kevin3stone
	Actionable knowledge model for GUI regression testing [My Copy] Intelligent Agent Technology, IEEE/WIC/ACM International Conference on In Intelligent Agent Technology, IEEE/WIC/ACM International Conference on (2005), pp. 165-168. by Zunliang Yin, C. Miao, Y. Miao, Z. Shen posted by 1 person kevin3stone
	Automatic Test Generation: A Use Case Driven Approach [My Copy] Software Engineering, IEEE Transactions on, Vol. 32, No. 3. (2006), pp. 140-155. by C. Nebut, F. Fleurey, Y. Le Traon, J. Jezequel posted by 4 people mishra_satish jolilius kevin3stone TUCS-ES_Lab
	Modeling requirements for combinatorial software testing [My Copy] In A-MOST '05: Proceedings of the first international workshop on Advances in model-based testing, Vol. 30, No. 4. (July 2005), pp. 1-7. by C. Lott, A. Jain, S. Dalal posted by 3 people jolilius TUCS-ES_Lab kevin3stone
	Testing Object-Oriented Systems: Models, Patterns, and Tools (The Addison-Wesley Object Technology Series) [My Copy] (28 October 1999) by Robert V. Binder posted by 7 people stabletree newdawn hmeyer helliontroy biomedical-nlp gk-intern kevin3stone
	The price of validity in dynamic networks [My Copy] Journal of Computer and System Sciences In Special Issue: Database Theory 2004, Vol. 73, No. 3. (May 2007), pp. 245-264. by Mayank Bawa, Aristides Gionis, Hector Garcia-Molina, Rajeev Motwani posted by 3 people momo54 oster ecoo-ce
	Guaranteeing correctness and availability in P2P range indices [My Copy] In SIGMOD '05: Proceedings of the 2005 ACM SIGMOD international conference on Management of data (2005), pp. 323-334. by Prakash Linga, Adina Crainiceanu, Johannes Gehrke, Jayavel Shanmugasudaram posted by 4 people mogwaing momo54 oster ecoo-ce
	Dynamo: amazon's highly available key-value store [My Copy] In SOSP '07: Proceedings of twenty-first ACM SIGOPS symposium on Operating systems principles (2007), pp. 205-220. by Giuseppe Decandia, Deniz Hastorun, Madan Jampani, et al.Gunavardhan Kakulapati, Avinash Lakshman, Alex Pilchin, Swaminathan Sivasubramanian, Peter Vosshall, Werner Vogels posted by 26 people kawamoto MaineC nlong wanghc dennis2008 akshayk mogwaing frdr tatemura dmeister jorritschippers muli momo54 charoy oster myui ecoo-ce ahgharaibeh rstata HenryR mdwelsh gimmedonutnow los SOSP icecube rfonseca
	Data currency in replicated DHTs [My Copy] In SIGMOD '07: Proceedings of the 2007 ACM SIGMOD international conference on Management of data (2007), pp. 211-222. by Reza Akbarinia, Esther Pacitti, Patrick Valduriez posted by 5 people siekkine mogwaing momo54 oster ecoo-ce
	Ontology based semantic conflicts resolution in collaborative editing of design documents [My Copy] Advanced Engineering Informatics In Collaorative Environment for Desing and Manufacturing, Vol. 19, No. 2. (April 2005), pp. 103-111. by Ning Gu, Jun Xu, Xiaoyuan Wu, Jiangming Yang, Wei Ye posted by 3 people momo54 oster ecoo-ce
	A New Operational Transformation Framework for Real-Time Group Editors [My Copy] Parallel and Distributed Systems, IEEE Transactions on, Vol. 18, No. 3. (2007), pp. 307-319. by Rui Li, Du Li posted by 2 people oster ecoo-ce
	A formal method to prove ordering properties of multicast systems [My Copy] SIGOPS Oper. Syst. Rev., Vol. 33, No. 4. (October 1999) by C. Toinard, G. Florin, C. Carrez posted by 4 people momo54 oster pirapira ecoo-ce
	A Consistency Maintenance Approach in Replicated Services [My Copy] Computer and Information Technology, 2006. CIT '06. The Sixth IEEE International Conference on (2006), pp. 248-248. by Jiangming Yang, Qiwei Zhang, Ning Gu posted by 3 people momo54 oster ecoo-ce
	NESSIE: an awareness environment for cooperative settings [My Copy] In Proceedings of the Sixth European conference on Computer supported cooperative work (1999), pp. 391-410. by Wolfgang Prinz posted by 4 people cmalek momo54 oster ecoo-ce
	The chasms of CSCW: a citation graph analysis of the CSCW conference [My Copy] In CSCW '06: Proceedings of the 2006 20th anniversary conference on Computer supported cooperative work (2006), pp. 289-298. by Michal Jacovi, Vladimir Soroka, Gail Gilboa-Freedman, Sigalit Ur, Elad Shahar, Natalia Marmasse posted by 6 people momo54 ampms oster rlai ecoo-ce MITCCI
	Talk Before You Type: Coordination in Wikipedia [My Copy] System Sciences, 2007. HICSS 2007. 40th Annual Hawaii International Conference on In System Sciences, 2007. HICSS 2007. 40th Annual Hawaii International Conference on (2007), pp. 78-78. by Fernanda B. Viegas, Martin Wattenberg, Jesse Kriss, Frank van Ham posted by 23 people testi09 Wikipedia Social Web qili melisCites hongliangjie ebender cmalek momo54 charoy oster rebeccamancy ljian aarontaycheehsien Knowledge_Management ColDyn ecoo-ce ecoo-pe Social_Learning_Software_Lab jfelipe vulpeto bianca3006 ABV2008
	Log-structured storage for efficient weakly-connected replication [My Copy] Distributed Computing Systems Workshops, 2004. Proceedings. 24th International Conference on (2004), pp. 458-463. by F. Hupfeld posted by 2 people oster ecoo-ce
	The Hash History Approach for Reconciling Mutual Inconsistency [My Copy] In ICDCS '03: Proceedings of the 23rd International Conference on Distributed Computing Systems (2003) by Brent B. Kang, Robert Wilensky, John Kubiatowicz posted by 2 people oster ecoo-ce
	Comparison of database replication techniques based on total order broadcast [My Copy] Knowledge and Data Engineering, IEEE Transactions on, Vol. 17, No. 4. (2005), pp. 551-566. by M. Wiesmann, A. Schiper posted by 10 people maropu myui mogwaing database replication by total order broadcast chiayung kistijantoro ejones momo54 oster ecoo-ce
	A Probabilistic Property-Specific Approach to Information Flow [My Copy] Computer Network Security (2005), pp. 206-220. by Danièle Beauquier, Marie Duflot, Marius Minea posted by 1 person michaelbanks
	Faultless Systems: Yes We Can! [My Copy] Computer, Vol. 42, No. 9. (2009), pp. 30-36. by Jean R. Abrial posted by 1 person michaelbanks
	Data Refinement: Model-Oriented Proof Methods and their Comparison (Cambridge Tracts in Theoretical Computer Science) [My Copy] (15 January 2001) by Willem-Paul de Roever, Kai Engelhardt posted by 1 person michaelbanks
	Mechanised Translation of Control Law Diagrams into Circus [My Copy] Integrated Formal Methods (2009), pp. 151-166. by Frank Zeyda, Ana Cavalcanti posted by 1 person michaelbanks
	A Policy Model for Secure Information Flow [My Copy] Foundations and Applications of Security Analysis (2009), pp. 1-17. by Adedayo Adetoye, Atta Badii posted by 2 people ankurcha michaelbanks
	A specification language for information security policies [My Copy] In CIS'09: Proceedings of the international conference on Computational and information science 2009 (2009), pp. 437-440. by Juan M. Garcia posted by 1 person michaelbanks
	Proof and Disproof in Formal Logic: An Introduction for Programmers (Oxford Texts in Logic) [My Copy] (29 September 2005) by Richard Bornat posted by 1 person michaelbanks
	A unifying approach to the security of distributed and multi-threaded programs [My Copy] Journal of Computer Security, Vol. 11, No. 4. (1 January 2003), pp. 615-676. by Heiko Mantel, Andrei Sabelfeld posted by 1 person michaelbanks
	On the Composition of Compositional Reasoning [My Copy] Architecting Systems with Trustworthy Components (2006), pp. 137-151. by Felix Freiling, Thomas Santen posted by 1 person michaelbanks
	An Automata Based Approach for Verifying Information Flow Properties [My Copy] Electronic Notes in Theoretical Computer Science, Vol. 135, No. 1. (05 July 2005), pp. 39-58. by D. Dsouza, K. Raghavendra, B. Sprick posted by 1 person michaelbanks
	Composable Formal Security Analysis: Juggling Soundness, Simplicity and Efficiency [My Copy] Automata, Languages and Programming (2009), pp. 1-13. by Ran Canetti posted by 1 person michaelbanks
	On The Composition Of Security Properties [My Copy] (1996) by Aris Zakinthinos posted by 1 person michaelbanks
	Secure information flow and program logics [My Copy] Computer Security Foundations Symposium, IEEE, Vol. 0 (2007), pp. 233-248. by Lennart Beringer, Martin Hofmann posted by 1 person michaelbanks
	Probabilistic Confidentiality Properties based on Indistinguishability [My Copy] In Sicherheit, Vol. 62 (2005), pp. 113-124. by Thomas Santen edited by Hannes Federrath, Hannes Federrath posted by 1 person michaelbanks
	Prespecification in data refinement [My Copy] Information Processing Letters, Vol. 25, No. 2. (06 May 1987), pp. 71-76. by C. Hoare posted by 1 person michaelbanks
	Automated deduction for verification [My Copy] ACM Comput. Surv., Vol. 41, No. 4. (2009), pp. 1-56. by Natarajan Shankar posted by 1 person michaelbanks
	Exploiting Generic Aspects of Security Models in Formal Developments [My Copy] Mechanizing Mathematical Reasoning (2005), pp. 452-475. by Heiko Mantel, Axel Schairer posted by 1 person michaelbanks
	An algebraic framework for information theory: Classical Information [My Copy] (8 Oct 2009) by Manas K. Patra, Samuel L. Braunstein posted by 2 people ansobol michaelbanks
	The verified software initiative: A manifesto [My Copy] ACM Comput. Surv., Vol. 41, No. 4. (2009), pp. 1-8. by C. A. R. Hoare, Jayadev Misra, Gary T. Leavens, Natarajan Shankar posted by 2 people michaelbanks leonardo
	Software model checking [My Copy] ACM Comput. Surv., Vol. 41, No. 4. (2009), pp. 1-54. by Ranjit Jhala, Rupak Majumdar posted by 4 people asilva zhensong michaelbanks leonardo
	Isomorphisms between predicate and state transformers [My Copy] Mathematical Foundations of Computer Science 1993 (1993), pp. 301-310. by Marcello Bonsangue, Joost Kok posted by 1 person michaelbanks
	Towards Formal Specification of Abstract Security Properties [My Copy] Availability, Reliability and Security, International Conference on, Vol. 0 (2008), pp. 80-87. by Antonio Ma?, Gimena Pujol posted by 1 person michaelbanks
	Automatic Discovery and Quantification of Information Leaks [My Copy] Security and Privacy, IEEE Symposium on, Vol. 0 (2009), pp. 141-153. by Michael Backes, Boris Köpf, Andrey Rybalchenko posted by 1 person michaelbanks
	Viewpoint<br />Retrospective: an axiomatic basis for computer programming [My Copy] Commun. ACM, Vol. 52, No. 10. (2009), pp. 30-32. by C. A. R. Hoare posted by 4 people onierstrasz michaelbanks leonardo ajholanda
	The joys of bisimulation [My Copy] Mathematical Foundations of Computer Science 1998 (1998), pp. 142-151. by Colin Stirling posted by 1 person michaelbanks
	Understanding and Writing Compilers: A Do It Yourself Guide (Macmillan Computer Science Series) [My Copy] by Richard Bornat posted by 1 person michaelbanks
	Formal Methods: State of the Art and New Directions [My Copy] (04 October 2009) posted by 3 people wiizane dokooh michaelbanks
	Security and Composition of Multiparty Cryptographic Protocols [My Copy] Journal of Cryptology, Vol. 13, No. 1. (24 September 2000), pp. 143-202. by Ran Canetti posted by 1 person michaelbanks
	Broken Promises of Privacy: Responding to the Surprising Failure of Anonymization [My Copy] Social Science Research Network Working Paper Series (17 August 2009) by Paul Ohm posted by 13 people danilov paulovn tnhh jclau Gorzomagnificent srijit pak installe dejang mariawolters bfraser gvdh michaelbanks
	Logic Column 10: Specifying Confidentiality [My Copy] (11 Nov 2004) by Riccardo Pucella posted by 1 person michaelbanks
	On the Decidability of Model-Checking Information Flow Properties [My Copy] Information Systems Security (2008), pp. 26-40. by Deepak D’souza, Raveendra Holla, Janardhan Kulkarni, Raghavendra Ramesh, Barbara Sprick posted by 1 person michaelbanks
	Security of multi-agent systems: A case study on comparison shopping [My Copy] Journal of Applied Logic, Vol. 5, No. 2. (June 2007), pp. 303-332. by D. Hutter, H. Mantel, I. Schaefer, A. Schairer posted by 1 person michaelbanks
	Towards realizing a formal RBAC model in real systems [My Copy] In SACMAT '07: Proceedings of the 12th ACM symposium on Access control models and technologies (2007), pp. 215-224. by Gail J. Ahn, Hongxin Hu posted by 1 person michaelbanks
	Enabling verification and conformance testing for access control model [My Copy] In SACMAT '08: Proceedings of the 13th ACM symposium on Access control models and technologies (2008), pp. 195-204. by Hongxin Hu, Gailjoon Ahn posted by 1 person michaelbanks
	Touch of Class: Learning to Program Well with Objects and Contracts [My Copy] (11 September 2009) by Bertrand Meyer posted by 2 people leonardo michaelbanks
	Incomputability [My Copy] ACM Comput. Surv., Vol. 4, No. 3. (1972), pp. 169-178. by C. A. R. Hoare, D. C. S. Allison posted by 1 person michaelbanks
	Principles of Language Design and Evolution [My Copy] In In Millenial Perspectives in Computer Science (Proceedings of the 1999 OxfordMicrosoft Symposium in Honour of Sir Tony Hoare (2000), pp. 229-246. by Bertrand Meyer posted by 1 person michaelbanks
	A language for information flow: dynamic tracking in multiple interdependent dimensions [My Copy] In PLAS '09: Proceedings of the ACM SIGPLAN Fourth Workshop on Programming Languages and Analysis for Security (2009), pp. 125-131. by Avraham Shinnar, Marco Pistoia, Anindya Banerjee posted by 1 person michaelbanks
	A logical language for expressing authorizations [My Copy] Security and Privacy, 1997. Proceedings., 1997 IEEE Symposium on In Security and Privacy, 1997. Proceedings., 1997 IEEE Symposium on (1997), pp. 31-42. by S. Jajodia, P. Samarati, V. S. Subrahmanian posted by 1 person michaelbanks
	Supporting reconfigurable security policies for mobile programs [My Copy] Computer Networks, Vol. 33, No. 1-6. (June 2000), pp. 77-93. by B. Hashii posted by 1 person michaelbanks
	A security policy language for wireless sensor networks [My Copy] Journal of Systems and Software, Vol. 82, No. 1. (January 2009), pp. 101-111. by D. Marsh, R. Baldwin, B. Mullins, R. Mills, M. Grimaila posted by 1 person michaelbanks
	Security Policy Specification Using a Graphical Approach [My Copy] (30 Sep 1998) by James A. Hoagland, Raju Pandey, Karl N. Levitt posted by 1 person michaelbanks
	Ponder2 - A Policy Environment for Autonomous Pervasive Systems [My Copy] Policies for Distributed Systems and Networks, 2008. POLICY 2008. IEEE Workshop on In Policies for Distributed Systems and Networks, 2008. POLICY 2008. IEEE Workshop on (2008), pp. 245-246. by K. Twidle, E. Lupu, N. Dulay, M. Sloman posted by 1 person michaelbanks
	SIF: enforcing confidentiality and integrity in web applications [My Copy] In SS'07: Proceedings of 16th USENIX Security Symposium on USENIX Security Symposium (2007), pp. 1-16. by Stephen Chong, K. Vikram, Andrew C. Myers posted by 2 people akshayk michaelbanks
	Skolem Functions In Confidentiality Flow Properties [My Copy] by Norman Foo, Gregory Gibbon posted by 1 person michaelbanks
	Pattern-Based Confidentiality-Preserving Refinement [My Copy] Engineering Secure Software and Systems In Engineering Secure Software and Systems (2009), pp. 43-59. by Holger Schmidt posted by 1 person michaelbanks
	Unwinding forward correctability [My Copy] Computer Security Foundations Workshop VII, 1994. CSFW 7. Proceedings In Computer Security Foundations Workshop VII, 1994. CSFW 7. Proceedings (1994), pp. 2-10. by J. K. Millen posted by 1 person michaelbanks
	Secure composition of systems [My Copy] Computer Security Applications Conference, 1992. Proceedings., Eighth Annual In Computer Security Applications Conference, 1992. Proceedings., Eighth Annual (1992), pp. 112-122. by J. A. Mcdermid, Q. Shi posted by 1 person michaelbanks
	Abstractions Preserving Parameter Confidentiality [My Copy] Computer Security – ESORICS 2005 (2005), pp. 418-437. by Sigrid Gürgens, Peter Ochsenschläger, Carsten Rudolph posted by 1 person michaelbanks
	A Few Remarks About Formal Development of Secure Systems [My Copy] (23 Feb 2009) by Eric Jaeger, Thérèse Hardin posted by 1 person michaelbanks
	Some laws of non-interference [CSP algebra] [My Copy] Computer Security Foundations Workshop V, 1992. Proceedings. In Computer Security Foundations Workshop V, 1992. Proceedings. (1992), pp. 22-33. by J. Graham-Cumming posted by 1 person michaelbanks
	In defense of program testing or correctness proofs considered harmful [My Copy] SIGPLAN Not., Vol. 11, No. 5. (1976), pp. 64-68. by Andrew S. Tanenbaum posted by 1 person michaelbanks
	A logic for reasoning about security [My Copy] ACM Trans. Comput. Syst., Vol. 10, No. 3. (1992), pp. 226-264. by Janice Glasgow, Glenn Macewen, Prakash Panangaden posted by 1 person michaelbanks
	Programming: Sorcery or Science? [My Copy] Software, IEEE In Software, IEEE, Vol. 1, No. 2. (1984), pp. 5-16. by C. A. R. Hoare posted by 1 person michaelbanks
	A model of reconfiguration in communicating sequential processes with a notion of transactions [My Copy] Information Processing Letters, Vol. 41, No. 1. (21 January 1992), pp. 9-12. by J. Jacob posted by 1 person michaelbanks
	A model of reconfiguration in communicating sequential processes [My Copy] Information Processing Letters, Vol. 35, No. 1. (15 June 1990), pp. 19-22. by J. Jacob posted by 1 person michaelbanks
	A probabilistic approach to information hiding [My Copy] (2003), pp. 441-460. by Annabelle Mciver, Carroll Morgan posted by 1 person michaelbanks
	Do strong web passwords accomplish anything? [My Copy] In HOTSEC'07: Proceedings of the 2nd USENIX workshop on Hot topics in security (2007), pp. 1-6. by Dinei Florêncio, Cormac Herley, Baris Coskun posted by 1 person michaelbanks
	Knowledge and Belief: An Introduction to the Logic of the Two Notions [My Copy] (18 May 2005) by Jaakko Hintikka, Vincent F. Hendricks, John Symons posted by 1 person michaelbanks
	Secrecy in Multiagent Systems [My Copy] ACM Trans. Inf. Syst. Secur., Vol. 12, No. 1. (2008), pp. 1-47. by Joseph Y. Halpern, Kevin R. O'Neill posted by 1 person michaelbanks
	Architectural Refinement and Notions of Intransitive Noninterference [My Copy] Engineering Secure Software and Systems (2009), pp. 60-74. by Ron van der Meyden posted by 1 person michaelbanks
	Combining Different Proof Techniques for Verifying Information Flow Security [My Copy] Logic-Based Program Synthesis and Transformation (2007), pp. 94-110. by Heiko Mantel, Henning Sudbrock, Tina Kraußer posted by 1 person michaelbanks
	The framework of selective interleaving functions and the modular assembly kit [My Copy] In FMSE '05: Proceedings of the 2005 ACM workshop on Formal methods in security engineering (2005), pp. 53-62. by Heiko Mantel posted by 1 person michaelbanks
	Extracting Conditional Confidentiality Policies [My Copy] Software Engineering and Formal Methods, 2008. SEFM '08. Sixth IEEE International Conference on In Software Engineering and Formal Methods, 2008. SEFM '08. Sixth IEEE International Conference on (2008), pp. 107-116. by M. C. Tschantz, J. M. Wing posted by 1 person michaelbanks
	Automated Analysis of Java Methods for Confidentiality [My Copy] Computer Aided Verification (2009), pp. 173-187. by Pavol Černý, Rajeev Alur posted by 1 person michaelbanks
	Information flow property preserving transformation of UML interaction diagrams [My Copy] In SACMAT '06: Proceedings of the eleventh ACM symposium on Access control models and technologies (2006), pp. 150-159. by Fredrik Seehusen, Ketil Stolen posted by 1 person michaelbanks