|
|
|
|
Venues (Conferences, Journals, ...)
|
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 11 occurrences of 11 keywords
|
|
|
|
|
Results
Found 28 publication records. Showing 28 according to the selection in the facets
| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Eduardo B. Fernández, Ola Ajaj, Ingrid Buckley, Nelly Delessy-Gassant, Keiko Hashizume, Maria M. Larrondo-Petrie |
A Survey of Patterns for Web Services Security and Reliability Standards.  |
Future Internet  |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Eduardo B. Fernández, Carolina Marin, Maria M. Larrondo-Petrie |
Security Requirements for Social Networks in Web 2.0. |
Handbook of Social Network Technologies |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Eduardo B. Fernández, María M. Larrondo-Petrie |
Designing Secure SCADA Systems Using Security Patterns. |
HICSS |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Juan C. Pelaez, Eduardo B. Fernández, María M. Larrondo-Petrie |
Misuse patterns in VoIP. |
Security and Communication Networks |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Eduardo B. Fernández, Günther Pernul, María M. Larrondo-Petrie |
Patterns and Pattern Diagrams for Access Control. |
TrustBus |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Eduardo B. Fernández, Juan C. Pelaez, María M. Larrondo-Petrie |
Security Patterns for Voice over IP Networks. |
JSW |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Michael Butler, Michael G. Hinchey, María M. Larrondo-Petrie (eds.) |
Formal Methods and Software Engineering, 9th International Conference on Formal Engineering Methods, ICFEM 2007, Boca Raton, FL, USA, November 14-15, 2007, Proceedings |
ICFEM |
2007 |
DBLP BibTeX RDF |
|
| 1 | Eduardo B. Fernández, Juan C. Pelaez, María M. Larrondo-Petrie |
Attack Patterns: A New Forensic and Design Tool. |
IFIP Int. Conf. Digital Forensics |
2007 |
DBLP DOI BibTeX RDF |
secure systems design, VoIP networks, forensics, Attack patterns |
| 1 | Eduardo B. Fernández, Jose Ballesteros, Ana C. Desouza-Doucet, Maria M. Larrondo-Petrie |
Security Patterns for Physical Access Control Systems. |
DBSec |
2007 |
DBLP DOI BibTeX RDF |
physical access control, security, access control, software patterns, intelligent buildings |
| 1 | Peter T. Breuer, Simon Pickin, María M. Larrondo-Petrie |
Detecting Deadlock, Double-Free and Other Abuses in a Million Lines of Linux Kernel Source. |
SEW |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Eduardo B. Fernández, Michael VanHilst, María M. Larrondo-Petrie, Shihong Huang |
Defining Security Requirements Through Misuse Actions. |
IFIP Workshop on Advanced Software Engineering |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Eduardo B. Fernández, Saeed Rajput, Michael VanHilst, María M. Larrondo-Petrie |
Some Security Issues of Wireless Systems. |
ISSADS |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Eduardo B. Fernández, Tami Sorgente, María M. Larrondo-Petrie |
A UML-Based Methodology for Secure Systems: The Design Stage . |
WOSIS |
2005 |
DBLP BibTeX RDF |
|
| 1 | Peter T. Breuer, Natividad Martínez Madrid, Jonathan P. Bowen, Robert B. France, Maria M. Larrondo-Petrie, Carlos Delgado Kloos |
Reasoning about VHDL and VHDL-AMS using Denotational Semantics. |
DATE |
1999 |
DBLP DOI BibTeX RDF |
mixed-signal simulation, Language design, Language semantics, VHDL-AMS |
| 1 | Minika Saksena, Maria M. Larrondo-Petrie, Robert B. France, Matthew P. Evett |
Extending Aggregation Constructs in UML. |
UML |
1998 |
DBLP DOI BibTeX RDF |
|
| 1 | Robert B. France, Jean-Michel Bruel, Maria M. Larrondo-Petrie |
An Integrated Object-Oriented and Formal Modeling Environment. |
JOOP |
1997 |
DBLP BibTeX RDF |
|
| 1 | Robert B. France, Jean-Michel Bruel, Maria M. Larrondo-Petrie, Emanuel S. Grant, Minika Saksena |
Towards a Rigorous Object-Oriented Analysis and Design Method. |
ICFEM |
1997 |
DBLP BibTeX RDF |
|
| 1 | Robert B. France, Jean-Michel Bruel, Maria M. Larrondo-Petrie, Emanuel S. Grant |
Rigorous Object-Oriented Modeling: Integrating Formal and Informal Notations. |
AMAST |
1997 |
DBLP DOI BibTeX RDF |
|
| 1 | B. W. Bates, Jean-Michel Bruel, Robert B. France, Maria M. Larrondo-Petrie |
Guidelines for Formalizing Fusion Object-Oriented Analysis Methods . |
CAiSE |
1996 |
DBLP DOI BibTeX RDF |
Formal Specification Techniques, Transformations, Object-Oriented Analysis |
| 1 | Eduardo B. Fernández, Krishnakumar R. Nair, María M. Larrondo-Petrie, Yan Xu |
High-Level Security Issues in Multimedia/Hypertext Systems. |
Communications and Multimedia Security |
1996 |
DBLP BibTeX RDF |
|
| 1 | Robert B. France, Maria M. Larrondo-Petrie |
A Two-Dimensional View of Integrated Formal and Informal Specification Techniques. |
ZUM |
1995 |
DBLP DOI BibTeX RDF |
|
| 1 | Robert B. France, Maria M. Larrondo-Petrie |
Understanding the Role of Formal Specification Techniques in Requirements Engineering. |
CSEE |
1995 |
DBLP DOI BibTeX RDF |
|
| 1 | Maria M. Larrondo-Petrie, Jack Bresenham, Cary Laxer, John Lansdown, G. Scott Owen |
Approaches to teaching introductory computer graphics. |
SIGGRAPH |
1994 |
DBLP DOI BibTeX RDF |
|
| 1 | Robert B. France, Maria M. Larrondo-Petrie |
From Structured Analysis to Formal Specifications: State of the Theory. |
ACM Conference on Computer Science |
1994 |
DBLP DOI BibTeX RDF |
|
| 1 | Eduardo B. Fernández, María M. Larrondo-Petrie, Ehud Gudes |
A Method-Based Authorization Model for Object-Oriented Databases. |
Security for Object-Oriented Systems |
1993 |
DBLP BibTeX RDF |
|
| 1 | Riva Wenig Bickel, María M. Larrondo-Petrie, David F. Bush |
EDICT for computer ethics education. |
Journal of Systems and Software |
1992 |
DBLP DOI BibTeX RDF |
|
| 1 | Riva Wenig Bickel, María M. Larrondo-Petrie |
Relating Psychology's Moral Development Levels to the Ethical Use of Computers (Abstract). |
ACM Conference on Computer Science |
1990 |
DBLP DOI BibTeX RDF |
|
| 1 | María M. Larrondo-Petrie, Ehud Gudes, Haiyan Song, Eduardo B. Fernández |
Security Policies in Object-Oriented Databases. |
DBSec |
1989 |
DBLP BibTeX RDF |
|
Displaying result #1 - #28 of 28 (100 per page; Change: )
|
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")