Search dblp for Publications

export results for "stream:conf/issse3:"

 download as .bib file

@inproceedings{DBLP:conf/issse3/AntonCCBJK06,
  author       = {John Anton and
                  Martin Croxford and
                  Alessandro Coglio and
                  Janet Barnes and
                  Randy Johnson and
                  Tim Kremann},
  editor       = {Samuel T. Redwine Jr.},
  title        = {Two Demonstrations of Economical {EAL5+} Development for Tokeneer},
  booktitle    = {2006 {IEEE} International Symposium on Secure Software Engineering,
                  {ISSSE} 2006, Arlington, VA, USA, March 16 -17, 2006},
  year         = {2006},
  timestamp    = {Mon, 08 Apr 2024 12:31:21 +0200},
  biburl       = {https://dblp.org/rec/conf/issse3/AntonCCBJK06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/issse3/BarnesCJWEC06,
  author       = {Janet Barnes and
                  Rod Chapman and
                  Randy Johnson and
                  James C. Widmaier and
                  Bill Everett and
                  David Cooper},
  editor       = {Samuel T. Redwine Jr.},
  title        = {Engineering the Tokeneer Enclave Protection Software},
  booktitle    = {2006 {IEEE} International Symposium on Secure Software Engineering,
                  {ISSSE} 2006, Arlington, VA, USA, March 16 -17, 2006},
  year         = {2006},
  timestamp    = {Mon, 08 Apr 2024 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/issse3/BarnesCJWEC06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/issse3/BartolHJJMM06,
  author       = {Nadya Bartol and
                  Booz Allen Hamilton and
                  Joe Jarzombek and
                  Cheryl L. Jones and
                  Jim McCurley and
                  John Murdoch},
  editor       = {Samuel T. Redwine Jr.},
  title        = {Measurement to Support Secure Software Engineering},
  booktitle    = {2006 {IEEE} International Symposium on Secure Software Engineering,
                  {ISSSE} 2006, Arlington, VA, USA, March 16 -17, 2006},
  year         = {2006},
  timestamp    = {Mon, 08 Apr 2024 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/issse3/BartolHJJMM06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/issse3/BruschiMM06,
  author       = {Danilo Bruschi and
                  Lorenzo Martignoni and
                  Mattia Monga},
  editor       = {Samuel T. Redwine Jr.},
  title        = {Using Code Normalization for Fighting Self-Mutating Malware},
  booktitle    = {2006 {IEEE} International Symposium on Secure Software Engineering,
                  {ISSSE} 2006, Arlington, VA, USA, March 16 -17, 2006},
  year         = {2006},
  timestamp    = {Mon, 08 Apr 2024 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/issse3/BruschiMM06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/issse3/ClelandHuangDMP06,
  author       = {Jane Cleland{-}Huang and
                  Mark Denne and
                  Ghazy Mahjub and
                  Nilesh Patel},
  editor       = {Samuel T. Redwine Jr.},
  title        = {A Goal-Oriented Approach for Mitigating Security and Continuity Risks},
  booktitle    = {2006 {IEEE} International Symposium on Secure Software Engineering,
                  {ISSSE} 2006, Arlington, VA, USA, March 16 -17, 2006},
  year         = {2006},
  timestamp    = {Mon, 08 Apr 2024 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/issse3/ClelandHuangDMP06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/issse3/DoanMD06,
  author       = {Thuong Doan and
                  Laurent Michel and
                  Steven A. Demurjian},
  editor       = {Samuel T. Redwine Jr.},
  title        = {A Formal Framework for Secure Design and Constraint Checking in {UML}},
  booktitle    = {2006 {IEEE} International Symposium on Secure Software Engineering,
                  {ISSSE} 2006, Arlington, VA, USA, March 16 -17, 2006},
  year         = {2006},
  timestamp    = {Mon, 08 Apr 2024 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/issse3/DoanMD06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/issse3/EspelidNMH06,
  author       = {Yngve Espelid and
                  Lars{-}Helge Netland and
                  Khalid A. Mughal and
                  Kjell J{\o}rgen Hole},
  editor       = {Samuel T. Redwine Jr.},
  title        = {Simplifying Client-Server Application Development with Secure Reusable
                  Components},
  booktitle    = {2006 {IEEE} International Symposium on Secure Software Engineering,
                  {ISSSE} 2006, Arlington, VA, USA, March 16 -17, 2006},
  year         = {2006},
  timestamp    = {Mon, 08 Apr 2024 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/issse3/EspelidNMH06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/issse3/FontanMVSC06,
  author       = {Benjamin Fontan and
                  Sara Mota and
                  Thierry Villemur and
                  Pierre de Saqui{-}Sannes and
                  Jean{-}Pierre Courtiat},
  editor       = {Samuel T. Redwine Jr.},
  title        = {UML-Based Modeling and Formal Verification of Authentication Protocols},
  booktitle    = {2006 {IEEE} International Symposium on Secure Software Engineering,
                  {ISSSE} 2006, Arlington, VA, USA, March 16 -17, 2006},
  year         = {2006},
  timestamp    = {Mon, 08 Apr 2024 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/issse3/FontanMVSC06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/issse3/HalfondVO06,
  author       = {William G. J. Halfond and
                  Jeremy Viegas and
                  Alessandro Orso},
  editor       = {Samuel T. Redwine Jr.},
  title        = {A Classification of {SQL} Injection Attacks and Countermeasures},
  booktitle    = {2006 {IEEE} International Symposium on Secure Software Engineering,
                  {ISSSE} 2006, Arlington, VA, USA, March 16 -17, 2006},
  year         = {2006},
  timestamp    = {Mon, 08 Apr 2024 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/issse3/HalfondVO06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/issse3/HammerKS06,
  author       = {Christian Hammer and
                  Jens Krinke and
                  Gregor Snelting},
  editor       = {Samuel T. Redwine Jr.},
  title        = {Information Flow Control for Java Based on Path Conditions in Dependence
                  Graphs},
  booktitle    = {2006 {IEEE} International Symposium on Secure Software Engineering,
                  {ISSSE} 2006, Arlington, VA, USA, March 16 -17, 2006},
  year         = {2006},
  timestamp    = {Mon, 08 Apr 2024 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/issse3/HammerKS06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/issse3/HuynhM06,
  author       = {Toan Huynh and
                  James Miller},
  editor       = {Samuel T. Redwine Jr.},
  title        = {Developing Secure Web-Based Applications},
  booktitle    = {2006 {IEEE} International Symposium on Secure Software Engineering,
                  {ISSSE} 2006, Arlington, VA, USA, March 16 -17, 2006},
  year         = {2006},
  timestamp    = {Mon, 08 Apr 2024 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/issse3/HuynhM06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/issse3/Leslie06,
  author       = {Rebekah Leslie},
  editor       = {Samuel T. Redwine Jr.},
  title        = {Dynamic Intransitive Noninterference},
  booktitle    = {2006 {IEEE} International Symposium on Secure Software Engineering,
                  {ISSSE} 2006, Arlington, VA, USA, March 16 -17, 2006},
  year         = {2006},
  timestamp    = {Mon, 08 Apr 2024 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/issse3/Leslie06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/issse3/MyagmarY06,
  author       = {Suvda Myagmar and
                  William Yurcik},
  editor       = {Samuel T. Redwine Jr.},
  title        = {Why Johnny Can Hack: The Mismatch between Vulnerabilities and Security
                  Protection Standards},
  booktitle    = {2006 {IEEE} International Symposium on Secure Software Engineering,
                  {ISSSE} 2006, Arlington, VA, USA, March 16 -17, 2006},
  year         = {2006},
  timestamp    = {Mon, 08 Apr 2024 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/issse3/MyagmarY06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/issse3/NguyenIK06,
  author       = {Thuy D. Nguyen and
                  Cynthia E. Irvine and
                  Douglas R. Kane Jr.},
  editor       = {Samuel T. Redwine Jr.},
  title        = {Using Common Criteria Methodology to Express Informal Security Requirements},
  booktitle    = {2006 {IEEE} International Symposium on Secure Software Engineering,
                  {ISSSE} 2006, Arlington, VA, USA, March 16 -17, 2006},
  year         = {2006},
  timestamp    = {Mon, 08 Apr 2024 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/issse3/NguyenIK06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/issse3/ParadkarMWTKK06,
  author       = {Amit M. Paradkar and
                  Suzanne McIntosh and
                  Sam Weber and
                  David C. Toll and
                  Paul A. Karger and
                  Matt Kaplan},
  editor       = {Samuel T. Redwine Jr.},
  title        = {Chicken {\&} Egg: Dependencies in Security Testing and Compliance
                  with Common Criteria Evaluations},
  booktitle    = {2006 {IEEE} International Symposium on Secure Software Engineering,
                  {ISSSE} 2006, Arlington, VA, USA, March 16 -17, 2006},
  year         = {2006},
  timestamp    = {Mon, 08 Apr 2024 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/issse3/ParadkarMWTKK06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/issse3/PuW06,
  author       = {Calton Pu and
                  Jinpeng Wei},
  editor       = {Samuel T. Redwine Jr.},
  title        = {A Methodical Defense against {TOCTTOU} Attacks: The {EDGI} Approach},
  booktitle    = {2006 {IEEE} International Symposium on Secure Software Engineering,
                  {ISSSE} 2006, Arlington, VA, USA, March 16 -17, 2006},
  year         = {2006},
  timestamp    = {Mon, 08 Apr 2024 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/issse3/PuW06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/issse3/RosseboOABJ06,
  author       = {Bryan Rossebo and
                  Paul W. Oman and
                  Jim Alves{-}Foss and
                  Ryan Blue and
                  Paul Jaszkowiak},
  editor       = {Samuel T. Redwine Jr.},
  title        = {Using SPARK-Ada to Model and Verify a {MILS} Message Router},
  booktitle    = {2006 {IEEE} International Symposium on Secure Software Engineering,
                  {ISSSE} 2006, Arlington, VA, USA, March 16 -17, 2006},
  year         = {2006},
  timestamp    = {Mon, 08 Apr 2024 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/issse3/RosseboOABJ06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/issse3/TanACRRW06,
  author       = {Gang Tan and
                  Andrew W. Appel and
                  Srimat Chakradhar and
                  Anand Raghunathan and
                  Srivaths Ravi and
                  Daniel C. Wang},
  editor       = {Samuel T. Redwine Jr.},
  title        = {Safe Java Native Interface},
  booktitle    = {2006 {IEEE} International Symposium on Secure Software Engineering,
                  {ISSSE} 2006, Arlington, VA, USA, March 16 -17, 2006},
  year         = {2006},
  timestamp    = {Mon, 08 Apr 2024 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/issse3/TanACRRW06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/issse3/YiYM06,
  author       = {Jianliang Yi and
                  Weijiang Yu and
                  Aloysius K. Mok},
  editor       = {Samuel T. Redwine Jr.},
  title        = {Resource Bound Safety in Grid Computing},
  booktitle    = {2006 {IEEE} International Symposium on Secure Software Engineering,
                  {ISSSE} 2006, Arlington, VA, USA, March 16 -17, 2006},
  year         = {2006},
  timestamp    = {Mon, 08 Apr 2024 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/issse3/YiYM06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@proceedings{DBLP:conf/issse3/2006,
  editor       = {Samuel T. Redwine Jr.},
  title        = {2006 {IEEE} International Symposium on Secure Software Engineering,
                  {ISSSE} 2006, Arlington, VA, USA, March 16 -17, 2006},
  year         = {2006},
  timestamp    = {Mon, 08 Apr 2024 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/issse3/2006.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.